Charlie is blue and cold. Eric wears all blue. Fred was feeling blue because the ride at the fair had left him green with motion sickness. His throat was rough and his eyes were round. Fred is young and didn't know not to eat before getting on a roller-coaster. Harry always goes out of his way to show that he is kind to people. When a kind person is feeling cold with red skin, they will be round as well. Big and round people can't help but be cold all of the time. It's inevitable that young, green people are big. When you meet someone with cold, rough skin and a round figure they will be nice. A green and red colored person who has a nice temperament will be cold. Whenever someone is kind as well as round and cold, they will definitely be blue.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Harry is kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "+")
triple9
Fred is not round.
False
1
inv-proof
[(triple5)]
("Fred" "is" "round" "-")
triple5
Fred is big.
True
3
proof
[(((triple4 triple7) -> rule3))]
("Fred" "is" "big" "+")
((triple4 triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple4 triple7) -> rule3))]
("Fred" "is" "big" "-")
((triple4 triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
True
5
proof
[(((((triple4 triple7) -> rule3) triple5) -> rule2))]
("Fred" "is" "cold" "+")
((((triple4 triple7) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((((triple4 triple7) -> rule3) triple5) -> rule2))]
("Fred" "is" "cold" "-")
((((triple4 triple7) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
True
8
proof
[(((triple6 ((((triple4 triple7) -> rule3) triple5) -> rule2) triple5) -> rule4))]
("Fred" "is" "nice" "+")
((triple6 ((((triple4 triple7) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not nice.
False
8
inv-proof
[(((triple6 ((((triple4 triple7) -> rule3) triple5) -> rule2) triple5) -> rule4))]
("Fred" "is" "nice" "-")
((triple6 ((((triple4 triple7) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple1)] Eric is blue.[(triple3)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is rough.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is kind.[(triple9)] @1: Fred is big.[(((triple4 triple7) -> rule3))] @2: Fred is cold.[(((((triple4 triple7) -> rule3) triple5) -> rule2))] @3: Fred is nice.[(((triple6 ((((triple4 triple7) -> rule3) triple5) -> rule2) triple5) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Fred is big.
("Fred" "is" "big" "+")
((triple4 triple7) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple4 triple7) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((triple6 ((((triple4 triple7) -> (rule3 % int3)) triple5) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Charlie is blue and cold.
Eric wears all blue.
Fred was feeling blue because the ride at the fair had left him green with motion sickness; His throat was rough and his eyes were round; Fred is young and didn't know not to eat before getting on a roller-coaster.
Harry always goes out of his way to show that he is kind to people.
When a kind person is feeling cold with red skin, they will be round as well.
Big and round people can't help but be cold all of the time.
It's inevitable that young, green people are big.
When you meet someone with cold, rough skin and a round figure they will be nice.
A green and red colored person who has a nice temperament will be cold.
Whenever someone is kind as well as round and cold, they will definitely be blue.