The cold, nice, kind man with a round body is known as Charlie. Eric is so big, he is often blue, but always kind. Gary, a green man, was also big, but underneath he was kind. Because Harry gets cold easily he tends to appear round from bundling up. Any person who is blue and round, if they are kind at the same time, will be young. Red people feel blue about it. If a person that is kind is big and blue they have to be young. A big, young human being is sure to also be a green human being. If you meet a person who is green, big and blue, you will find them to be nice. Ifa blue and green colored person is rough then they must be big shaped. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and green and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Harry is round.
True
1
proof
[(triple11)]
("Harry" "is" "round" "+")
triple11
Harry is not round.
False
1
inv-proof
[(triple11)]
("Harry" "is" "round" "-")
triple11
Eric is young.
True
4
proof
[(((triple6 triple5 triple7) -> rule3))]
("Eric" "is" "young" "+")
((triple6 triple5 triple7) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
4
inv-proof
[(((triple6 triple5 triple7) -> rule3))]
("Eric" "is" "young" "-")
((triple6 triple5 triple7) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
True
6
proof
[(((triple7 ((triple6 triple5 triple7) -> rule3)) -> rule4))]
("Eric" "is" "green" "+")
((triple7 ((triple6 triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not green.
False
6
inv-proof
[(((triple7 ((triple6 triple5 triple7) -> rule3)) -> rule4))]
("Eric" "is" "green" "-")
((triple7 ((triple6 triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
True
9
proof
[(((triple6 ((triple7 ((triple6 triple5 triple7) -> rule3)) -> rule4) triple7) -> rule5))]
("Eric" "is" "nice" "+")
((triple6 ((triple7 ((triple6 triple5 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not nice.
False
9
inv-proof
[(((triple6 ((triple7 ((triple6 triple5 triple7) -> rule3)) -> rule4) triple7) -> rule5))]
("Eric" "is" "nice" "-")
((triple6 ((triple7 ((triple6 triple5 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "round" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Charlie" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is cold.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Gary is big.[(triple10)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Harry is cold.[(triple12)] Harry is round.[(triple11)] @1: Eric is young.[(((triple6 triple5 triple7) -> rule3))] @2: Eric is green.[(((triple7 ((triple6 triple5 triple7) -> rule3)) -> rule4))] @3: Eric is nice.[(((triple6 ((triple7 ((triple6 triple5 triple7) -> rule3)) -> rule4) triple7) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Eric is young.
("Eric" "is" "young" "+")
((triple6 triple5 triple7) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple7 ((triple6 triple5 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((triple6 ((triple7 ((triple6 triple5 triple7) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
The cold, nice, kind man with a round body is known as Charlie.
Eric is so big, he is often blue, but always kind.
Gary, a green man, was also big, but underneath he was kind.
Because Harry gets cold easily he tends to appear round from bundling up.
Any person who is blue and round, if they are kind at the same time, will be young.
Red people feel blue about it.
If a person that is kind is big and blue they have to be young.
A big, young human being is sure to also be a green human being.
If you meet a person who is green, big and blue, you will find them to be nice.
Ifa blue and green colored person is rough then they must be big shaped.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.