The cold, nice, kind man with a round body is known as Charlie. Dave is round shaped and green colored. Harry is big and round for being so young. He ate some spoiled food that has him feeling green. Someone who is round in shape and green in color is usually cold. A young and cold person is red. When someone is nice and rough they are usually red. When someone is blue, lives green they can be rough but kind. Nice people who are big are always feeling blue. There could be a round someone with red hair wearing blue pants. Young and kind folks are always big.
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple9)]
("Harry" "is" "green" "+")
triple9
Dave is not round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Harry is cold.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Harry" "is" "cold" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Dave" "is" "cold" "-")
((triple6 triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Harry is red.
True
5
proof
[(((((triple9 triple8) -> rule1) triple7) -> rule2))]
("Harry" "is" "red" "+")
((((triple9 triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not red.
False
5
inv-proof
[(((((triple9 triple8) -> rule1) triple7) -> rule2))]
("Harry" "is" "red" "-")
((((triple9 triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
True
7
proof
[(((((((triple9 triple8) -> rule1) triple7) -> rule2) triple8) -> rule6))]
("Harry" "is" "blue" "+")
((((((triple9 triple8) -> (rule1 % int3)) triple7) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not blue.
False
7
inv-proof
[(((((((triple9 triple8) -> rule1) triple7) -> rule2) triple8) -> rule6))]
("Harry" "is" "blue" "-")
((((((triple9 triple8) -> (rule1 % int3)) triple7) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "big" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is cold.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is green.[(triple6)] Dave is round.[(triple5)] Harry is big.[(triple10)] Harry is green.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Dave is cold.[(((triple6 triple5) -> rule1))] Harry is cold.[(((triple9 triple8) -> rule1))] @2: Harry is red.[(((((triple9 triple8) -> rule1) triple7) -> rule2))] @3: Harry is blue.[(((((((triple9 triple8) -> rule1) triple7) -> rule2) triple8) -> rule6))]
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
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple9 triple8) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((((triple9 triple8) -> (rule1 % int3)) triple7) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
The cold, nice, kind man with a round body is known as Charlie.
Dave is round shaped and green colored.
Harry is big and round for being so young; He ate some spoiled food that has him feeling green.
Someone who is round in shape and green in color is usually cold.
A young and cold person is red.
When someone is nice and rough they are usually red.
When someone is blue, lives green they can be rough but kind.
Nice people who are big are always feeling blue.
There could be a round someone with red hair wearing blue pants.
Young and kind folks are always big.