Bob plays rough and gets red in his round face,yet people know he is young and often blue. Charlie is known for being big and green and rough around the edges but is still kind. Right now Charlie is cold from the snow. In the snow sits Harry, crying from being cold. Round, rough people blue with sadness turn out to be green. You make someone round and green, and they'll turn out nice. If a big person is cold and nice, then they are green. When someone is nice, dressing in red, they can be blue because they are cold. Rough people will often be blue.  They thrive on being kind and nice.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Harry is cold.
True
1
proof
[(triple11)]
("Harry" "is" "cold" "+")
triple11
Bob is not red.
False
1
inv-proof
[(triple4)]
("Bob" "is" "red" "-")
triple4
Bob is green.
True
4
proof
[(((triple5 triple2 triple3) -> rule1))]
("Bob" "is" "green" "+")
((triple5 triple2 triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
4
inv-proof
[(((triple5 triple2 triple3) -> rule1))]
("Bob" "is" "green" "-")
((triple5 triple2 triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
True
6
proof
[(((triple2 ((triple5 triple2 triple3) -> rule1)) -> rule2))]
("Bob" "is" "nice" "+")
((triple2 ((triple5 triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((triple2 ((triple5 triple2 triple3) -> rule1)) -> rule2))]
("Bob" "is" "nice" "-")
((triple2 ((triple5 triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
True
9
proof
[(((((triple2 ((triple5 triple2 triple3) -> rule1)) -> rule2) triple5 triple4) -> rule4))]
("Bob" "is" "cold" "+")
((((triple2 ((triple5 triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not cold.
False
9
inv-proof
[(((((triple2 ((triple5 triple2 triple3) -> rule1)) -> rule2) triple5 triple4) -> rule4))]
("Bob" "is" "cold" "-")
((((triple2 ((triple5 triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is blue.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple10)] Charlie is cold.[(triple9)] Charlie is green.[(triple8)] Charlie is kind.[(triple7)] Charlie is rough.[(triple6)] Harry is cold.[(triple11)] @1: Bob is green.[(((triple5 triple2 triple3) -> rule1))] @2: Bob is nice.[(((triple2 ((triple5 triple2 triple3) -> rule1)) -> rule2))] @3: Bob is cold.[(((((triple2 ((triple5 triple2 triple3) -> rule1)) -> rule2) triple5 triple4) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Bob is green.
("Bob" "is" "green" "+")
((triple5 triple2 triple3) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 ((triple5 triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2 ((triple5 triple2 triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple5 triple4) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob plays rough and gets red in his round face,yet people know he is young and often blue.
Charlie is known for being big and green and rough around the edges but is still kind; Right now Charlie is cold from the snow.
In the snow sits Harry, crying from being cold.
Round, rough people blue with sadness turn out to be green.
You make someone round and green, and they'll turn out nice.
If a big person is cold and nice, then they are green.
When someone is nice, dressing in red, they can be blue because they are cold.
Rough people will often be blue; They thrive on being kind and nice.