They always call him rough Bob. Charlie is young but big for his age. Charlie wasn't feeling well so he is a little green. Dave ate some rotten meat and now feels green. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Kind, young, green persons are sure to be rough persons, too. A big young person that is green will be cold to others. Green people with red round cheeks are young. A big and round shaped person that is also cold will be blue in color. Invariably, any young person whose skin appears rough and green is bound to be quite big. A person who is young and cold and green is kind. If you meet a young and kind person who is also rough, they are cold, too.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and green and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Charlie is young.
True
1
proof
[(triple2)]
("Charlie" "is" "young" "+")
triple2
Fred is not blue.
False
1
inv-proof
[(triple7)]
("Fred" "is" "blue" "-")
triple7
Charlie is cold.
True
4
proof
[(((triple3 triple2 triple4) -> rule2))]
("Charlie" "is" "cold" "+")
((triple3 triple2 triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
4
inv-proof
[(((triple3 triple2 triple4) -> rule2))]
("Charlie" "is" "cold" "-")
((triple3 triple2 triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
True
7
proof
[(((triple3 triple2 ((triple3 triple2 triple4) -> rule2)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple3 triple2 ((triple3 triple2 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not kind.
False
7
inv-proof
[(((triple3 triple2 ((triple3 triple2 triple4) -> rule2)) -> rule6))]
("Charlie" "is" "kind" "-")
((triple3 triple2 ((triple3 triple2 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
True
10
proof
[(((((triple3 triple2 ((triple3 triple2 triple4) -> rule2)) -> rule6) triple2 triple3) -> rule1))]
("Charlie" "is" "rough" "+")
((((triple3 triple2 ((triple3 triple2 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple2 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not rough.
False
10
inv-proof
[(((((triple3 triple2 ((triple3 triple2 triple4) -> rule2)) -> rule6) triple2 triple3) -> rule1))]
("Charlie" "is" "rough" "-")
((((triple3 triple2 ((triple3 triple2 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple2 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "kind" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is rough.[(triple1)] Charlie is big.[(triple4)] Charlie is green.[(triple3)] Charlie is young.[(triple2)] Dave is green.[(triple5)] Fred is blue.[(triple7)] Fred is kind.[(triple6)] @1: Charlie is cold.[(((triple3 triple2 triple4) -> rule2))] @2: Charlie is kind.[(((triple3 triple2 ((triple3 triple2 triple4) -> rule2)) -> rule6))] @3: Charlie is rough.[(((((triple3 triple2 ((triple3 triple2 triple4) -> rule2)) -> rule6) triple2 triple3) -> rule1))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 triple2 triple4) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 triple2 ((triple3 triple2 triple4) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple3 triple2 ((triple3 triple2 triple4) -> (rule2 % int3))) -> (rule6 % int2)) triple2 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
They always call him rough Bob.
Charlie is young but big for his age; Charlie wasn't feeling well so he is a little green.
Dave ate some rotten meat and now feels green.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Kind, young, green persons are sure to be rough persons, too.
A big young person that is green will be cold to others.
Green people with red round cheeks are young.
A big and round shaped person that is also cold will be blue in color.
Invariably, any young person whose skin appears rough and green is bound to be quite big.
A person who is young and cold and green is kind.
If you meet a young and kind person who is also rough, they are cold, too.