Even though Bob is still young, he is already very round.  Bob is a nice guy and when he gets cold his skin turns blue. Red Charlie is what folks call him, because he is quite red. Fred was born only a few years ago so he is young. Surprisingly, all the kind, green people were also big. All the big and young boys at the park are red. A big, young human being is sure to also be a green human being. If you color the young ones blue then they will be kind. Rough people who are nice and have green thumbs are almost always young. People who are nice and cold are also green.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Bob is cold.
True
1
proof
[(triple4)]
("Bob" "is" "cold" "+")
triple4
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is green.
True
3
proof
[(((triple3 triple4) -> rule6))]
("Bob" "is" "green" "+")
((triple3 triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple5 triple1) -> rule4))]
("Bob" "is" "kind" "-")
((triple5 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
True
7
proof
[(((((triple5 triple1) -> rule4) ((triple3 triple4) -> rule6)) -> rule1))]
("Bob" "is" "big" "+")
((((triple5 triple1) -> (rule4 % int3)) ((triple3 triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not big.
False
7
inv-proof
[(((((triple5 triple1) -> rule4) ((triple3 triple4) -> rule6)) -> rule1))]
("Bob" "is" "big" "-")
((((triple5 triple1) -> (rule4 % int3)) ((triple3 triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
True
9
proof
[(((((((triple5 triple1) -> rule4) ((triple3 triple4) -> rule6)) -> rule1) triple1) -> rule2))]
("Bob" "is" "red" "+")
((((((triple5 triple1) -> (rule4 % int4)) ((triple3 triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not red.
False
9
inv-proof
[(((((((triple5 triple1) -> rule4) ((triple3 triple4) -> rule6)) -> rule1) triple1) -> rule2))]
("Bob" "is" "red" "-")
((((((triple5 triple1) -> (rule4 % int4)) ((triple3 triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "-")
Fred is red.
Unknown
rconc
[@3: Fred is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule4 <- FAIL)]]
("Fred" "is" "red" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is red.[(triple6)] Fred is young.[(triple7)] @1: Bob is green.[(((triple3 triple4) -> rule6))] Bob is kind.[(((triple5 triple1) -> rule4))] @2: Bob is big.[(((((triple5 triple1) -> rule4) ((triple3 triple4) -> rule6)) -> rule1))] @3: Bob is red.[(((((((triple5 triple1) -> rule4) ((triple3 triple4) -> rule6)) -> rule1) triple1) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple4) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple5 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple5 triple1) -> (rule4 % int3)) ((triple3 triple4) -> (rule6 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((((triple5 triple1) -> (rule4 % int4)) ((triple3 triple4) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Even though Bob is still young, he is already very round; Bob is a nice guy and when he gets cold his skin turns blue.
Red Charlie is what folks call him, because he is quite red.
Fred was born only a few years ago so he is young.
Surprisingly, all the kind, green people were also big.
All the big and young boys at the park are red.
A big, young human being is sure to also be a green human being.
If you color the young ones blue then they will be kind.
Rough people who are nice and have green thumbs are almost always young.
People who are nice and cold are also green.