Dave grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. The big young man with the round body who seems to be having a rough time due to being green is named Eric. In the snow sits Gary, crying from being cold. Harry is young and nice, but when he's feeling blue, he can also be quite cold to people. When you meet someone round, blue and nice they are as a rule rough. His cheeks were red from the cold, and his big blue eye were watering. If you big person approaches and is cold, fear not because they are nice. I've noticed that someone who is big and acts cold towards others is green as well. Young people tend to be blue all the time and rough. There are so many rough, young people and for some reason they are all big too. A big and rough person who is blue is also considered to be green.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Eric is round.
True
1
proof
[(triple4)]
("Eric" "is" "round" "+")
triple4
Dave is not blue.
False
1
inv-proof
[(triple2)]
("Dave" "is" "blue" "-")
triple2
Harry is rough.
True
3
proof
[(((triple12 triple9) -> rule5))]
("Harry" "is" "rough" "+")
((triple12 triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple12 triple9) -> rule5))]
("Harry" "is" "rough" "-")
((triple12 triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
True
5
proof
[(((triple9 ((triple12 triple9) -> rule5)) -> rule6))]
("Harry" "is" "big" "+")
((triple9 ((triple12 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not big.
False
5
inv-proof
[(((triple9 ((triple12 triple9) -> rule5)) -> rule6))]
("Harry" "is" "big" "-")
((triple9 ((triple12 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
True
7
proof
[(((triple11 ((triple9 ((triple12 triple9) -> rule5)) -> rule6)) -> rule4) OR ((((triple12 triple9) -> rule5) ((triple9 ((triple12 triple9) -> rule5)) -> rule6) triple12) -> rule7))]
("Harry" "is" "green" "+")
((triple11 ((triple9 ((triple12 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple12 triple9) -> (rule5 % int3)) ((triple9 ((triple12 triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not green.
False
7
inv-proof
[(((triple11 ((triple9 ((triple12 triple9) -> rule5)) -> rule6)) -> rule4) OR ((((triple12 triple9) -> rule5) ((triple9 ((triple12 triple9) -> rule5)) -> rule6) triple12) -> rule7))]
("Harry" "is" "green" "-")
((triple11 ((triple9 ((triple12 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple12 triple9) -> (rule5 % int3)) ((triple9 ((triple12 triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Dave is blue.[(triple2)] Dave is rough.[(triple1)] Eric is big.[(triple7 OR ((triple3 triple5) -> rule6))] Eric is green.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is cold.[(triple8)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10 OR ((((triple9 ((triple12 triple9) -> rule5)) -> rule6) triple11) -> rule3))] Harry is young.[(triple9)] @1: Harry is rough.[(((triple12 triple9) -> rule5))] @2: Harry is big.[(((triple9 ((triple12 triple9) -> rule5)) -> rule6))] @3: Harry is green.[(((triple11 ((triple9 ((triple12 triple9) -> rule5)) -> rule6)) -> rule4) OR ((((triple12 triple9) -> rule5) ((triple9 ((triple12 triple9) -> rule5)) -> rule6) triple12) -> rule7))]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
((triple3 triple5) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((((triple9 ((triple12 triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple11) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
((triple12 triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple9 ((triple12 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple11 ((triple9 ((triple12 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple12 triple9) -> (rule5 % int3)) ((triple9 ((triple12 triple9) -> (rule5 % int3))) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Dave grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
The big young man with the round body who seems to be having a rough time due to being green is named Eric.
In the snow sits Gary, crying from being cold.
Harry is young and nice, but when he's feeling blue, he can also be quite cold to people.
When you meet someone round, blue and nice they are as a rule rough.
His cheeks were red from the cold, and his big blue eye were watering.
If you big person approaches and is cold, fear not because they are nice.
I've noticed that someone who is big and acts cold towards others is green as well.
Young people tend to be blue all the time and rough.
There are so many rough, young people and for some reason they are all big too.
A big and rough person who is blue is also considered to be green.