babi_1 = """
Below are some stories about people moving between rooms. After each story you have to answer a question about where a particular person is.
Story:
at t=0 daniel travelled to the kitchen
at t=1 mary went back to the office
at t=2 john moved to the bathroom
at t=3 sandra went to the hallway
at t=4 sandra moved to the bedroom
at t=5 sandra went back to the garden
at t=6 mary went to the kitchen
at t=7 daniel journeyed to the garden
at t=8 sandra went to the hallway
at t=9 daniel journeyed to the office
Question: where is daniel?
Reason: at t=9 daniel journeyed to the office. Therefore, daniel is in the office

Story:
at t=0 mary went to the bedroom
at t=1 sandra travelled to the hallway
Question: where is sandra?
Reason: at t=1 sandra travelled to the hallway. Therefore, sandra is in the hallway

Story:
at t=0 sandra moved to the hallway
at t=1 mary went back to the bathroom
at t=2 daniel went to the kitchen
at t=3 daniel travelled to the hallway
at t=4 john travelled to the kitchen
at t=5 sandra went back to the garden
at t=6 mary moved to the garden
at t=7 sandra moved to the office
at t=8 john travelled to the bathroom
at t=9 mary went back to the hallway
Question: where is sandra?
Reason: at t=7 sandra moved to the office. Therefore, sandra is in the office

Story:
at t=0 mary went back to the kitchen
at t=1 mary journeyed to the office
at t=2 mary journeyed to the kitchen
at t=3 daniel moved to the hallway
at t=4 daniel went back to the garden
at t=5 sandra travelled to the hallway
at t=6 mary travelled to the office
at t=7 mary went back to the bathroom
at t=8 mary went back to the garden
at t=9 john travelled to the kitchen
Question: where is mary?
Reason: at t=8 mary went back to the garden. Therefore, mary is in the garden

Story:
at t=0 john journeyed to the bathroom
at t=1 mary travelled to the bathroom
at t=2 mary moved to the bedroom
at t=3 john went back to the hallway
at t=4 john moved to the kitchen
at t=5 sandra went back to the kitchen
at t=6 daniel journeyed to the bedroom
at t=7 john travelled to the garden
at t=8 daniel moved to the bathroom
at t=9 john journeyed to the bedroom
Question: where is john?
Reason: at t=9 john journeyed to the bedroom. Therefore, john is in the bedroom

Story:
"""

babi_2 = """
Below are some stories about people moving objects between rooms. After each story you have to answer a question about where a particular object is.
Story:
at t=0 mary grabbed the football there 
at t=1 daniel got the apple there 
at t=2 mary went to the kitchen 
at t=3 daniel journeyed to the office 
at t=4 daniel went to the bedroom 
at t=5 mary moved to the garden 
Question: where is the apple?
Reason: at t=1 daniel got the apple there. We know that at t=4 daniel went to the bedroom. Therefore, the apple is in the bedroom

Story:
at t=0 sandra moved to the bedroom
at t=1 john went back to the bathroom
at t=2 sandra grabbed the football there
at t=3 sandra dropped the football
at t=4 john journeyed to the hallway
at t=5 john went to the kitchen
at t=6 daniel went to the garden
at t=7 daniel moved to the hallway
at t=8 mary moved to the bedroom
at t=9 mary moved to the bathroom
at t=10 sandra went to the office
at t=11 mary got the milk there
at t=12 mary travelled to the kitchen
at t=13 mary left the milk
Question: where is the milk?
Reason: at t=13 mary left the milk. We know that at t=12 mary travelled to the kitchen. Therefore, the milk is in the kitchen

Story:
at t=0 john grabbed the apple there 
at t=1 john moved to the office 
at t=2 daniel moved to the hallway 
at t=3 john moved to the garden 
at t=4 daniel got the milk there 
at t=5 john took the football there 
at t=6 john discarded the football  
at t=7 daniel went back to the office
at t=8 sandra journeyed to the hallway 
at t=9 john dropped the apple there 
Question: where is the apple?
Reason: at t=0 john grabbed the apple there. We know that at t=3 john moved to the garden. Therefore, the apple is in the garden

Story:
at t=0 mary went back to the hallway
at t=1 john journeyed to the kitchen
at t=2 john got the football there
at t=3 sandra got the milk there
at t=4 daniel went to the bathroom
at t=5 john travelled to the garden
Question: where is the football?
Reason: at t=2 john got the football there. We know that at t=5 john travelled to the garden. Therefore, the football is in the garden

Story:
at t=0 sandra went to the office
at t=1 john took the milk there
at t=2 sandra got the milk there
at t=3 john dropped the milk
Question: where is the milk?
Reason: at t=2 sandra got the milk there. We know that at t=0 sandra went to the office. Therefore, the milk is in the office

Story:
"""

babi_3 = """
Below are some stories about people moving objects between rooms. After each story you have to answer a question about where a particular object is.
Story:
at t=0 sandra went back to the bedroom
at t=1 john travelled to the bedroom 
at t=2 mary travelled to the hallway 
at t=3 sandra moved to the bathroom 
at t=4 sandra picked up the football 
at t=5 john moved to the office 
at t=6 mary journeyed to the garden 
at t=7 sandra travelled to the garden 
at t=8 sandra dropped the football  
at t=9 sandra moved to the kitchen 
at t=10 sandra journeyed to the office 
at t=11 mary grabbed the football  
at t=12 john travelled to the bedroom 
at t=13 mary grabbed the milk  
at t=14 mary dropped the football  
at t=15 mary went to the bathroom 
at t=16 mary went back to the hallway
at t=17 sandra went to the kitchen 
at t=18 daniel went to the bathroom 
at t=19 mary picked up the apple 
at t=20 mary put down the apple there
at t=21 mary got the apple  
at t=22 john moved to the kitchen 
at t=23 mary dropped the apple  
at t=24 daniel moved to the garden 
at t=25 mary journeyed to the garden 
at t=26 daniel went to the hallway 
at t=27 mary took the football  
at t=28 mary went to the bedroom 
at t=29 mary put down the football 
at t=30 mary went to the garden 
at t=31 daniel grabbed the apple  
at t=32 daniel left the apple  
at t=33 mary travelled to the bedroom 
at t=34 mary grabbed the football  
at t=35 mary moved to the garden 
at t=36 mary discarded the football  
at t=37 mary dropped the milk  
at t=38 mary went back to the hallway
at t=39 daniel picked up the apple 
at t=40 daniel discarded the apple there 
at t=41 daniel journeyed to the office 
at t=42 daniel went back to the bedroom
at t=43 sandra went to the bathroom 
at t=44 daniel journeyed to the garden 
at t=45 mary grabbed the apple  
at t=46 mary left the apple  
at t=47 daniel went back to the bedroom
at t=48 john went to the hallway 
at t=49 sandra went to the office 
at t=50 mary went back to the bathroom
at t=51 john grabbed the apple  
at t=52 daniel moved to the bathroom 
at t=53 sandra journeyed to the kitchen 
at t=54 john dropped the apple  
at t=55 mary went back to the hallway
at t=56 mary journeyed to the office 
at t=57 mary moved to the bedroom 
at t=58 daniel travelled to the kitchen 
at t=59 john picked up the apple 
at t=60 daniel went to the bathroom 
at t=61 john put down the apple 
at t=62 john went to the kitchen 
at t=63 mary went to the office 
at t=64 daniel went to the bedroom 
at t=65 daniel went to the bathroom 
at t=66 sandra went to the hallway 
at t=67 sandra picked up the apple there
at t=68 sandra went to the garden 
at t=69 sandra went to the kitchen 
Question: where was the apple before the kitchen?
Reason: at t=67 sandra picked up the apple there. We know that at t=68 sandra went to the garden and at t=69 sandra went to the kitchen. Therefore, before the kitchen the apple was in the garden 

Story:
at t=0 john travelled to the office 
at t=1 john moved to the hallway 
at t=2 john travelled to the garden 
at t=3 daniel went to the bedroom 
at t=4 john got the apple  
at t=5 sandra travelled to the hallway 
at t=6 sandra journeyed to the kitchen 
at t=7 john went to the bathroom 
at t=8 sandra picked up the football 
at t=9 sandra dropped the football  
at t=10 daniel travelled to the bathroom 
at t=11 sandra got the football  
at t=12 sandra dropped the football  
at t=13 daniel went to the office 
at t=14 sandra took the football  
at t=15 john left the apple  
at t=16 sandra discarded the football  
at t=17 john went back to the office
at t=18 john journeyed to the bathroom 
at t=19 daniel went back to the bathroom
at t=20 sandra took the football there 
at t=21 john got the apple there 
at t=22 sandra picked up the milk there
at t=23 daniel journeyed to the garden 
at t=24 daniel travelled to the hallway 
at t=25 sandra moved to the bathroom 
at t=26 sandra discarded the football  
at t=27 sandra took the football  
at t=28 daniel travelled to the kitchen 
at t=29 daniel moved to the office 
at t=30 john went to the kitchen 
at t=31 daniel went to the bathroom 
at t=32 daniel went to the office 
at t=33 john went back to the garden
at t=34 john travelled to the hallway 
at t=35 daniel travelled to the kitchen 
at t=36 john put down the apple 
at t=37 daniel went to the hallway 
at t=38 john grabbed the apple there 
at t=39 mary journeyed to the hallway 
at t=40 john discarded the apple there 
at t=41 mary moved to the bedroom 
at t=42 daniel got the apple  
at t=43 daniel discarded the apple  
at t=44 sandra travelled to the kitchen 
at t=45 sandra journeyed to the bathroom 
at t=46 sandra left the milk  
at t=47 sandra dropped the football  
at t=48 john picked up the apple 
at t=49 john left the apple  
Question: where was the milk before the kitchen?
Reason: at t=46 sandra left the milk. We know that at t=44 sandra travelled to the kitchen and at t=25 sandra moved to the bathroom. Therefore, before the kitchen the milk was in the bedroom

Story:
at t=0 john got the football  
at t=1 john picked up the apple 
at t=2 john went back to the hallway
at t=3 sandra journeyed to the bedroom 
at t=4 john moved to the kitchen 
at t=5 sandra got the milk there 
at t=6 john went to the bedroom 
at t=7 daniel travelled to the office 
at t=8 sandra moved to the bathroom 
at t=9 sandra put down the milk there
at t=10 mary journeyed to the hallway 
at t=11 sandra picked up the milk 
at t=12 sandra travelled to the bedroom 
at t=13 mary went to the office 
at t=14 mary went to the hallway 
at t=15 daniel went to the kitchen 
at t=16 daniel went to the office 
at t=17 mary went to the bedroom 
at t=18 mary went to the hallway 
at t=19 mary travelled to the kitchen 
at t=20 sandra journeyed to the kitchen 
at t=21 mary went to the garden 
at t=22 sandra went to the bathroom 
at t=23 john discarded the football  
Question: where was the football before the kitchen?
Reason: at t=0 john got the football. We know that at t=4 john moved to the kitchen and at t=2 john went back to the hallway. Therefore, before the kitchen the football was in the hallway

Story:
at t=0 sandra journeyed to the bathroom 
at t=1 mary went back to the bedroom
at t=2 sandra travelled to the bedroom 
at t=3 sandra went to the kitchen 
at t=4 mary took the apple  
at t=5 mary left the apple  
at t=6 daniel went to the office 
at t=7 john went back to the hallway
at t=8 mary journeyed to the hallway 
at t=9 john travelled to the garden 
at t=10 daniel journeyed to the garden 
at t=11 mary moved to the kitchen 
at t=12 john moved to the kitchen 
at t=13 daniel moved to the bedroom 
at t=14 daniel grabbed the apple  
at t=15 daniel travelled to the office 
at t=16 daniel journeyed to the kitchen 
at t=17 john went back to the bedroom
Question: where was the apple before the kitchen?
Reason: at t=14 daniel grabbed the apple. We know that at t=15 daniel travelled to the office and at t=16 daniel journeyed to the kitchen. Therefore, before the kitchen the apple was in the office

Story:
at t=0 mary journeyed to the kitchen 
at t=1 daniel went back to the garden
at t=2 john moved to the office 
at t=3 john took the football there 
at t=4 john moved to the bedroom 
at t=5 mary went back to the office
at t=6 daniel travelled to the office 
at t=7 john got the milk  
at t=8 sandra went back to the kitchen
at t=9 sandra went back to the bedroom
at t=10 john went back to the bathroom
at t=11 daniel travelled to the bedroom 
at t=12 sandra travelled to the bathroom 
at t=13 john put down the football 
Question: where was the football before the bathroom?
Reason: at t=3 john took the football there. We know that at t=10 john went back to the bathroom and at t=4 john moved to the bedroom. Therefore, before the bathroom the football was in the bedroom

Story:
"""

babi_15 = """
Given a set of facts, you have to reason about what the animal is afraid of.
Here are some facts:
cats are afraid of horses 
wolves are afraid of mice 
emily is a wolf 
mice are afraid of wolves 
sally is a mouse 
winona is a mouse 
sam is a wolf 
sheep are afraid of horses 
Question: what is winona afraid of?
Reason: winona is a mouse. We know that mice are afraid of wolves. Therefore, winona is afraid of wolves.

Here are some facts:
jessica is a wolf 
wolves are afraid of sheep 
mice are afraid of cats 
winona is a human 
sheep are afraid of humans 
cats are afraid of mice 
sarah is a wolf 
gertrude is a wolf 
Question: what is gertrude afraid of?
Reason: gertrude is a wolf. We know that wolves are afraid of sheep. Therefore, gertrude is afraid of sheep.

Here are some facts:
sheep are afraid of bins 
tim is a cat 
winona is a cat 
mice are afraid of wolves 
jessica is a cat 
wolves are afraid of sheep 
emily is a horse 
cats are afraid of sheep 
Question: what is jessica afraid of?
Reason: jessica is a cat. We know that cats are afraid of sheep. Therefore, jessica is afraid of sheep.

Here are some facts:
emily is a wolf 
amy is a cow 
wolves are afraid of cars 
mice are afraid of wolves 
cows are afraid of whales 
emily is a cow 
cats are afraid of mice 
gertrude is a cat 
Question: what is amy afraid of?
Reason: amy is a cow. We know that cows are afraid of whales. Therefore, amy is afraid of whales.

Here are some facts:
sheep are afraid of cats 
gertrude is a cat 
badgers are afraid of owls 
jessica is a sheep 
winona is a wolf 
cats are afraid of sheep 
emily is a badger 
mice are afraid of cats 
Question: what is emily afraid of? 
Reason: emily is a badger. We know that badgers are afraid of owls. Therefore, emily is afraid of owls.

Here are some facts:
"""

babi_16 = """
Given a set of facts, you have to reason about the color of an animal.
Here are some facts:
brian is a puppy
julius is a lion
adam is a lion
greg is a puppy
sam is a swan
sam is green
julius is white
brian is yellow
greg is yellow
Question: what color is adam?
Reason: adam is a lion. We know that julius is a lion and julius is white. Therefore, adam is white

Here are some facts:
bernhard is a lion
lily is a frog
bernhard is yellow
brian is a rhino
nick is a rhino
lily is yellow
bob is a lion
brian is green
bob is yellow
Question: what color is nick?
Reason: nick is a rhino. We know that brian is a rhino and brian is green. Therefore, nick is green

Here are some facts:
bob is a swan
julius is a swan
laura is a rhino
tom is a frog
tom is yellow
julius is gray
bob is gray
bernhard is a rhino
bernhard is yellow
Question: what color is laura?
Reason: laura is a rhino. We know that bernhard is a rhino and bernhard is yellow. Therefore, laura is yellow

Here are some facts:
lily is a horse
ben is a frog
toni is a lion
greg is a lion
ben is yellow
lily is yellow
greg is gray
bernhard is a frog
bernhard is yellow
Question: what color is toni?
Reason: toni is a lion. We know that greg is a lion and greg is gray. Therefore, toni is gray

Here are some facts:
greg is an ant
simba is a frog
julius is a swan
lily is a lion
brian is a frog
lily is white
greg is green
julius is yellow
brian is pink
Question: what color is simba?
Reason: simba is a frog. We know that brian is a frog and that brian is pink. Therefore, simba is pink

Here are some facts:
"""


proof_writer_0 = """
Given a set of rules and facts, you have to reason whether a statement is true or false.
Here are some facts and rules:
All nice people are cold.
the bear is nice.
the mouse eats the bear.
the mouse is cold.
the bear sees the mouse.
the mouse likes the bear.
the bear eats the mouse.
the mouse is big.
the mouse sees the bear.
the mouse is rough.
the bear likes the mouse.
the mouse is blue.
the mouse is nice.
the bear is blue.
the bear is cold.
the bear is big.
Does it imply that the statement "The mouse does not like the bear" is True?
Reasoning: the mouse likes the bear. Therefore, the mouse likes the bear.

Here are some facts and rules:
If the cow is round then the cow eats the bear.
If someone eats the cow and they are cold then they like the cow.
the cow likes the bear.
the bear likes the cow.
the cow is round.
the cow eats the bear.
the cow is green.
the cow visits the bear.
the bear is green.
the bear visits the cow.
the bear is kind.
the bear is blue.
Does it imply that the statement "The bear is not blue" is True?
Reasoning: the bear is blue. Therefore, the bear is blue.

Here are some facts and rules:
If someone visits the cat and they like the cat then they are green.
If someone visits the cat then the cat eats the bear.
If someone visits the cat and the cat visits the bear then they eat the bear.
If someone eats the bear then the bear likes the cat.
If someone eats the cat then they visit the cat.
If someone visits the bear and the bear visits the cat then the bear is kind.
the bear eats the cat.
the bear is green.
the cat eats the bear.
Does it imply that the statement "The cat eats the bear" is True?
Reasoning: the cat eats the bear. Therefore, the cat eats the bear.

Here are some facts and rules:
All red, blue people are kind.
Red people are furry.
If someone is red and furry then they are rough.
Anne is red.
Anne is blue.
Anne is furry.
Anne is cold.
Anne is quiet.
Anne is kind.
Anne is rough.
Does it imply that the statement "Anne is furry" is True?
Reasoning: Anne is furry. Therefore, Anne is furry.

Here are some facts and rules:
If the tiger is nice then the tiger is red.
If the tiger is red and the tiger does not eat the cat then the cat does not eat the tiger.
If someone eats the cat then the cat eats the bear.
If someone is nice then they chase the tiger.
If someone chases the tiger and the tiger does not visit the cat then the tiger eats the cat.
If someone visits the bear and they do not chase the tiger then the tiger is rough.
If someone visits the tiger and they visit the bear then the bear is big.
If someone eats the cat and they visit the cat then the cat is not nice.
the tiger is red.
the cat visits the bear.
the bear eats the tiger.
the tiger does not visit the cat.
the bear eats the cat.
the bear chases the cat.
the tiger does not chase the cat.
Does it imply that the statement "The bear does not chase the cat" is True?
Reasoning: the bear chases the cat. Therefore, the bear chases the cat.
"""

proof_writer_1 = """
Given a set of rules and facts, you have to reason whether a statement is true or false.
Here are some facts and rules:
Cold, red things are quiet.
If something is rough and not cold then it is not young.
Harry is kind.
Fiona is red.
Harry is quiet.
Fiona is cold.
Fiona is not rough.
Harry is young.
Fiona is round.
Harry is round.
Harry is rough.
Harry is red.
Does it imply that the statement "Fiona is not quiet" is True?
Reasoning: Cold, red things are quiet. We know that Fiona is cold and Fiona is red. Therefore, Fiona is quiet.

If something eats the bear then it is young.
If something is nice then it eats the bear.
If something is young then it likes the cat.
If something eats the bear then the bear is young.
If the cat chases the bear then the cat is young.
If something chases the cat and the cat does not eat the bear then it is young.
If something chases the bear and it is not red then it does not like the bear.
If something chases the cat and it likes the cat then the cat is green.
the bear likes the cat.
the cat chases the bear.
Does it imply that the statement "The cat is not young" is True?
Reasoning: If the cat chases the bear then the cat is young. We know that, the cat chases the bear. Therefore, the cat is young.

Here are some facts and rules:
If something likes the lion and it is nice then it is not kind.
If something is kind then it does not eat the rabbit.
If something sees the mouse then it is not kind.
the mouse sees the lion.
the rabbit eats the lion.
the lion is kind.
the cow sees the mouse.
Does it imply that the statement "The cow is not kind" is True?
Reasoning: If something sees the mouse then it is not kind. We know that the cow sees the mouse. Therefore, the cow is not kind.

Here are some facts and rules:
Cold people are young.
Charlie is cold.
Charlie is furry.
Charlie is smart.
Does this imply that "Charlie is not young" is True?
Reasoning: Cold people are young. We know that Charlie is cold. Therefore, Charlie is young.

Here are some facts and rules:
If Erin is green then Erin is young.
All nice, cold things are big.
If something is rough then it is nice.
All big, cold things are rough.
If Erin is young and Erin is cold then Erin is nice.
White, green things are rough.
Erin is cold.
Dave is young.
Dave is nice.
Erin is big.
Erin is young.
Dave is big.
Dave is green.
Does it imply that the statement "Erin is not rough" is True?
Reasoning: All big, cold things are rough. We know that Erin is big and Erin is cold. Therefore, Erin is rough.
    
"""

proof_writer_2 = """
Given a set of rules and facts, you have to reason whether a statement is true or false.
Here are some facts and rules:
If something likes the cow and the cow is blue then the cow likes the bald eagle.
If the cow chases the bald eagle then the cow eats the bald eagle.
If something eats the bald eagle then it likes the cow.
the cow chases the bald eagle.
the bald eagle eats the cow.
Does it imply that the statement "The cow does not like the cow" is true?
Reasoning: If the cow chases the bald eagle then the cow eats the bald eagle. We know that the cow chases the bald eagle. Therefore, the cow eats the bald eagle.
If something eats the bald eagle then it likes the cow. We know that the cow eats the bald eagle. Therefore, the cow likes the cow.

Here are some facts and rules:
All red, cold people are round.
All rough, cold people are big.
Round people are cold.
If Erin is big then Erin is rough.
All cold, red people are rough.
Round people are young.
Erin is round.
Charlie is big.
Erin is big.
Erin is young.
Charlie is young.
Erin is rough.
Charlie is white.
Charlie is red.
Harry is big.
Charlie is round.
Does it imply that the statement "Charlie is not rough" is true?
Reasoning: Round people are cold. We know that Charlie is round. Therefore, Charlie is cold.
All cold, red people are rough. We know that Charlie is red and Charlie is cold. Therefore, Charlie is rough.

Here are some facts and rules:
Nice people are quiet.
If Dave is smart then Dave is nice.
All white people are smart.
Dave is smart.
Harry is cold.
Does it imply that the statement "Dave is not quiet" is true?
Reasoning: If Dave is smart then Dave is nice. We know that Dave is smart. Therefore, David is nice.
Nice people are quiet. We know that Dave is nice. Therefore, Dave is quiet.

Here are some facts and rules:
Blue things are green.
All blue things are white.
If Anne is not big then Anne is blue.
Big things are white.
All kind things are round.
If something is white and big then it is not kind.
If something is big and not rough then it is green.
If something is white and blue then it is not green.
Erin is not white.
Anne is big.
Bob is rough.
Does it imply that the statement "Anne is kind" is True?
Reasoning: Big things are white. We know that Anne is big. Therefore, Anne is white.
If something is white and big then it is not kind. We know that Anne is white and Anne is big. Therefore, Anne is not kind.

Here are some facts and rules:
If something likes the squirrel and it is not young then it chases the lion.
If something likes the squirrel then it is rough.
If something chases the rabbit and the rabbit is not young then it chases the lion.
If something eats the lion then it is young.
If something likes the rabbit then it chases the rabbit.
All rough things are nice.
the rabbit is young.
the squirrel likes the rabbit.
the lion likes the squirrel.
Does it imply that the statement "The lion is not nice" is True?
Reasoning: If something likes the squirrel then it is rough. We know that the lion likes the squirrel. Therefore, the lion is rough.
All rough things are nice. We know that the lion is rough. Therefore, the lion is nice.
    
"""

proof_writer_3 = """
Given a set of rules and facts, you have to reason whether a statement is true or false.
Here are some facts and rules:
All kind, white things are green.
If something is furry then it is white.
If Bob is big and Bob is white then Bob is smart.
All green things are kind.
Nice, green things are smart.
Kind, big things are furry.
Bob is kind.
Bob is green.
Harry is smart.
Charlie is furry.
Charlie is big.
Harry is big.
Bob is nice.
Charlie is nice.
Bob is big.
Charlie is kind.
Bob is white.
Charlie is green.
Harry is green.
Charlie is smart.
Harry is nice.
Charlie is white.
Does it imply that the statement "Harry is white" is True?
Reasoning: All green things are kind. We know that Harry is green. Therefore, Harry is kind.
Kind, big things are furry. We know that Harry is big and Harry is kind. Therefore, Harry is furry.
If something is furry then it is white. We know that Harry is furry. Therefore, Harry is white.

Here are some facts and rules:
If someone is red then they are nice.
If someone is kind and red then they are white.
If someone is nice then they are kind.
Fiona is red.
Does it imply that the statement "Fiona is not white" is True?
Reasoning: If someone is red then they are nice. We know that Fiona is red. Therefore, Fiona is nice.
If someone is nice then they are kind. We know that Fiona is nice. Therefore, Fiona is kind.
If someone is kind and red then they are white. We know that Fiona is kind and Fiona is red. Therefore, Fiona is white.

Here are some facts and rules:
If something needs the rabbit then the rabbit visits the cow.
If something eats the cow and it needs the tiger then the tiger needs the cow.
If something eats the rabbit then the rabbit visits the tiger.
If something eats the mouse then the mouse needs the rabbit.
If the cow visits the rabbit and the rabbit is rough then the cow is red.
If something eats the cow then the cow eats the mouse.
the rabbit needs the mouse.
the mouse eats the rabbit.
the tiger eats the cow.
the cow is young.
Does it imply that the statement "The rabbit does not visit the cow" is True?
Reasoning: If something eats the cow then the cow eats the mouse. We know that the tiger eats the cow. Therefore, the cow eats the mouse.
If something eats the mouse then the mouse needs the rabbit. We know that the cow eats the mouse. Therefore, the mouse needs the rabbit.
If something needs the rabbit then the rabbit visits the cow. We know that the mouse needs the rabbit. Therefore, the mouse visits the cow.

Here are some facts and rules:
If Dave is red and Dave is smart then Dave is round.
If something is white then it is nice.
If something is red and round then it is white.
Charlie is red.
Anne is smart.
Dave is rough.
Charlie is nice.
Anne is red.
Charlie is rough.
Harry is rough.
Dave is smart.
Anne is nice.
Anne is kind.
Charlie is white.
Harry is kind.
Harry is white.
Charlie is round.
Dave is red.
Anne is white.
Does it imply that the statement "Dave is not nice" is True?
Reasoning: If Dave is red and Dave is smart then Dave is round. We know that Dave is red and Dave is smart. Therefore, Dave is round.
If something is red and round then it is white. We know that Dave is red and Dave is round. Therefore, Dave is white.
If something is white then it is nice. We know that Dave is white. Therefore, Dave is nice.

Here are some facts and rules:
If someone chases the cow then they eat the cow.
If someone is big then they chase the cow.
If someone needs the bald eagle then the bald eagle is big.
If the bear is nice and the bear needs the cow then the bear eats the lion.
If someone needs the lion and they eat the bald eagle then they are blue.
If someone eats the bear and they do not chase the cow then the cow is young.
the bald eagle eats the lion.
the bear is round.
the lion eats the bald eagle.
the bald eagle needs the cow.
the bear is young.
the cow is not nice.
the cow does not chase the bald eagle.
the bear does not eat the bald eagle.
the bear needs the bald eagle.
the bald eagle chases the bear.
Does it imply that the statement "The bald eagle does not eat the cow" is True?
Reasoning: If someone needs the bald eagle then the bald eagle is big. We know that the bear needs the bald eagle. Therefore, the bald eagle is big.
If someone is big then they chase the cow. We know that the bald eagle is big. Therefore, the bald eagle chases the cow.
If someone chases the cow then they eat the cow. We know that the bald eagle chases the cow. Therefore, the bald eagle eats the cow.
    
"""

proof_writer_5 = """
Given a set of rules and facts, you have to reason whether a statement is true or false.
Here are some facts and rules:
If someone visits the squirrel and the squirrel visits the rabbit then they are round.
If someone is big then they do not chase the dog.
All round people are not kind.
If someone is young and round then they visit the bald eagle.
If someone is young and not red then they visit the bald eagle.
If someone is round then they chase the rabbit.
If someone is red and they chase the rabbit then they visit the dog.
If someone is red then they visit the squirrel.
If someone visits the squirrel then the squirrel visits the rabbit.
the rabbit visits the dog.
the squirrel chases the bald eagle.
the squirrel chases the rabbit.
the dog sees the bald eagle.
the rabbit is kind.
the rabbit is young.
the bald eagle does not chase the dog.
the dog is round.
the bald eagle is red.
the squirrel is round.
the rabbit does not see the dog.
the rabbit sees the bald eagle.
the rabbit sees the squirrel.
the dog does not see the rabbit.
the rabbit does not visit the bald eagle.
the dog does not chase the bald eagle.
Does it imply that the statement "The bald eagle visits the dog" is True?
Reasoning: If someone is red then they visit the squirrel. We know that the bald eagle is red. Therefore, the bald eagle visits the squirrel.
If someone visits the squirrel then the squirrel visits the rabbit. We know that the bald eagle visits the squirrel. Therefore, the squirrel visits the rabbit. 
If someone visits the squirrel and the squirrel visits the rabbit then they are round. We know that the bald eagle visits the squirrel and the squirrel visits the rabbit. Therefore, the bald eagle is round.
If someone is round then they chase the rabbit. We know that the bald eagle is round. Therefore, the bald eagle chases the rabbit.
If someone is red and they chase the rabbit then they visit the dog. We know that the bald eagle is red and the bald eagle chases the rabbit. Therefore, the bald eagle visits the dog.

Here are some facts and rules:
All round, white things are nice.
If something is nice then it is round.
If something is white then it is nice.
If something is quiet and white then it is furry.
If Gary is quiet and Gary is round then Gary is cold.
If something is round then it is cold.
Cold things are quiet.
If something is green then it is quiet.
Dave is cold.
Charlie is white.
Charlie is furry.
Charlie is green.
Charlie is nice.
Gary is white.
Dave is round.
Dave is green.
Dave is nice.
Dave is white.
Charlie is round.
Harry is furry.
Does it imply that the statement "Gary is not furry" is True?
Reasoning: If something is white then it is nice. We know that Gary is white. Therefore, Gary is nice.
If something is nice then it is round. We know that Gary is nice. Therefore, Gary is round.
If something is round then it is cold. We know that Gary is round. Therefore, Gary is cold.
Cold things are quiet. We know that Gary is cold. Therefore, Gary is quiet.
If something is quiet and white then it is furry. We know that Gary is quiet and Gary is white. Therefore, Gary is furry.

Here are some facts and rules:
If something sees the squirrel then it needs the rabbit.
If something needs the rabbit then the rabbit needs the dog.
If something needs the rabbit and the rabbit is red then the rabbit needs the squirrel.
If something likes the lion then the lion sees the squirrel.
If the rabbit needs the dog then the dog likes the squirrel.
If something sees the lion and it likes the dog then the lion needs the rabbit.
If the lion sees the squirrel then the squirrel likes the rabbit.
If something likes the lion and the lion needs the rabbit then it sees the lion.
If something likes the squirrel then the squirrel likes the lion.
the dog sees the squirrel.
the dog needs the lion.
the dog needs the rabbit.
the squirrel sees the dog.
the rabbit needs the lion.
the rabbit needs the squirrel.
the lion needs the rabbit.
the dog is rough.
the lion is nice.
the rabbit is red.
the dog needs the squirrel.
Does it imply that the statement "The squirrel likes the rabbit" is True?
Reasoning: If something needs the rabbit then the rabbit needs the dog. We know that the lion needs the rabbit. Therefore, the rabbit needs the dog.
If the rabbit needs the dog then the dog likes the squirrel. We know that the rabbit needs the dog. Therefore, the dog likes the squirrel.
If something likes the squirrel then the squirrel likes the lion. We know that the dog likes the squirrel. Therefore, the squirrel likes the lion. 
If something likes the lion then the lion sees the squirrel. We know that the squirrel likes the lion. Therefore, the lion sees the squirrel.
If the lion sees the squirrel then the squirrel likes the rabbit. We know that the lion sees the squirrel. Therefore, the squirrel likes the rabbit.

Here are some facts and rules:
If something is green then it is quiet.
If something is round then it is cold.
If Gary is quiet and Gary is round then Gary is cold.
All round, white things are nice.
If something is quiet and white then it is furry.
If something is nice then it is round.
Cold things are quiet.
If something is white then it is nice.
Charlie is nice.
Charlie is white.
Charlie is green.
Dave is cold.
Charlie is furry.
Harry is furry.
Dave is green.
Charlie is round.
Dave is nice.
Dave is round.
Dave is white.
Gary is white.
Does it imply that the statement "Gary is not furry" is True?
Reasoning: If something is white then it is nice. We know that Gary is white. Therefore, Gary is nice.
If something is nice then it is round. We know that Gary is nice. Therefore, Gary is round.
If something is round then it is cold. We know that Gary is round. Therefore, Gary is cold.
Cold things are quiet. We know that Gary is cold. Therefore, Gary is quiet.
If something is quiet and white then it is furry. We know that Gary is quiet and Gary is white. Therefore, Gary is furry.

Here are some facts and rules:
If someone is young then they do not like the cow.
If someone is green and they do not like the cow then they see the lion.
If someone eats the lion then the lion eats the tiger.
If someone sees the mouse and the mouse eats the tiger then the tiger eats the lion.
If someone eats the tiger then the tiger sees the mouse.
If someone is kind and they eat the cow then they like the tiger.
If someone eats the cow then they eat the tiger.
If someone eats the lion and the lion likes the cow then the cow is young.
If someone likes the cow then they are not big.
the mouse is big.
the mouse does not see the lion.
the lion sees the tiger.
the tiger does not see the lion.
the lion likes the cow.
the cow likes the lion.
the cow does not see the mouse.
the cow is not rough.
the lion likes the tiger.
the mouse eats the cow.
Does it imply that the statement "The cow likes the cow" is True?
Reasoning: If someone eats the cow then they eat the tiger. We know that the mouse eats the cow. Therefore, the mouse eats the tiger.
If someone eats the tiger then the tiger sees the mouse. We know that the mouse eats the tiger. Therefore, the tiger sees the mouse.
If someone sees the mouse and the mouse eats the tiger then the tiger eats the lion. We know that the tiger sees the mouse and mouse eats the tiger. Therefore, the tiger eats the lion.
If someone eats the lion and the lion likes the cow then the cow is young. We know that the tiger eats the lion and the lion likes the cow. Therefore, the cow is young.
If someone is young then they do not like the cow. We know that the cow is young. Therefore, the cow does not like the cow.
    
"""