Bob had big, red, round cheeks. Charlie is big and rough. Gary is interestingly colored red and blue, and is also very kind. Harry is young and round, he is also green. A green, downhearted, and blue person with red cheeks is big. Big and green people who feel cold are usually young in age. If the person is big and cold then as a rule they must be green. Any rather round person exposed to weather that leaves them red and cold will feel blue. When you meet big guys with red hair, then tend to be cold hearted. Kind young people that are still blue are generally round shaped.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and red and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Gary is red.
True
1
proof
[(triple6)]
("Gary" "is" "red" "+")
triple6
Harry is not green.
False
1
inv-proof
[(triple11)]
("Harry" "is" "green" "-")
triple11
Bob is cold.
True
3
proof
[(((triple3 triple2) -> rule5))]
("Bob" "is" "cold" "+")
((triple3 triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("Bob" "is" "cold" "-")
((triple3 triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
True
5
proof
[(((triple3 ((triple3 triple2) -> rule5)) -> rule3))]
("Bob" "is" "green" "+")
((triple3 ((triple3 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not green.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule5)) -> rule3))]
("Bob" "is" "green" "-")
((triple3 ((triple3 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
True
10
proof
[(((((triple3 ((triple3 triple2) -> rule5)) -> rule3) triple3 ((triple3 triple2) -> rule5)) -> rule2))]
("Bob" "is" "young" "+")
((((triple3 ((triple3 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple3 ((triple3 triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not young.
False
10
inv-proof
[(((((triple3 ((triple3 triple2) -> rule5)) -> rule3) triple3 ((triple3 triple2) -> rule5)) -> rule2))]
("Bob" "is" "young" "-")
((((triple3 ((triple3 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple3 ((triple3 triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Charlie is big.[(triple5)] Charlie is rough.[(triple4)] Gary is blue.[(triple8)] Gary is kind.[(triple7)] Gary is red.[(triple6)] Harry is green.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Bob is cold.[(((triple3 triple2) -> rule5))] @2: Bob is blue.[(((triple1 triple2 ((triple3 triple2) -> rule5)) -> rule4))] Bob is green.[(((triple3 ((triple3 triple2) -> rule5)) -> rule3))] @3: Bob is young.[(((((triple3 ((triple3 triple2) -> rule5)) -> rule3) triple3 ((triple3 triple2) -> rule5)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple1 triple2 ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple3 ((triple3 triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple3 ((triple3 triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple3 ((triple3 triple2) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob had big, red, round cheeks.
Charlie is big and rough.
Gary is interestingly colored red and blue, and is also very kind.
Harry is young and round, he is also green.
A green, downhearted, and blue person with red cheeks is big.
Big and green people who feel cold are usually young in age.
If the person is big and cold then as a rule they must be green.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
When you meet big guys with red hair, then tend to be cold hearted.
Kind young people that are still blue are generally round shaped.