Bob is a very kind, green but sometimes cold person. Even though Eric is still young, he is already very round.  Eric is a nice guy and when he gets cold his skin turns blue. That Gary is as round and red as a cherry, and twice as kind. Harry always goes out of his way to show that he is kind to people. Young and nice people have great big smiles. Big and round people who arent cold, tend to be very kind. Folks who are nice and young with red coloration tend to feel blue. When somebody is round, kind and blue, you know they'll also be red. A young person with cold, rough skin will be red as well. John is round and rough, meaning that he is someone that is seen as green. If you meet somebody who is green, big and red you'll notice they are also blue.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Bob is cold.
True
1
proof
[(triple3)]
("Bob" "is" "cold" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple11)]
("Gary" "is" "kind" "-")
triple11
Eric is big.
True
3
proof
[(((triple4 triple6) -> rule1))]
("Eric" "is" "big" "+")
((triple4 triple6) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple4 triple6) -> rule1))]
("Eric" "is" "big" "-")
((triple4 triple6) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
True
6
proof
[(((triple7 ((triple4 triple6) -> rule1) triple5) -> rule2))]
("Eric" "is" "kind" "+")
((triple7 ((triple4 triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not kind.
False
6
inv-proof
[(((triple7 ((triple4 triple6) -> rule1) triple5) -> rule2))]
("Eric" "is" "kind" "-")
((triple7 ((triple4 triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
9
proof
[(((triple5 ((triple7 ((triple4 triple6) -> rule1) triple5) -> rule2) triple8) -> rule4))]
("Eric" "is" "red" "+")
((triple5 ((triple7 ((triple4 triple6) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
9
inv-proof
[(((triple5 ((triple7 ((triple4 triple6) -> rule1) triple5) -> rule2) triple8) -> rule4))]
("Eric" "is" "red" "-")
((triple5 ((triple7 ((triple4 triple6) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "green" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is kind.[(triple11)] Gary is red.[(triple10)] Gary is round.[(triple9)] Harry is kind.[(triple12)] @1: Eric is big.[(((triple4 triple6) -> rule1))] @2: Eric is kind.[(((triple7 ((triple4 triple6) -> rule1) triple5) -> rule2))] @3: Eric is red.[(((triple5 ((triple7 ((triple4 triple6) -> rule1) triple5) -> rule2) triple8) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple6) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 ((triple4 triple6) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple5 ((triple7 ((triple4 triple6) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob is a very kind, green but sometimes cold person.
Even though Eric is still young, he is already very round; Eric is a nice guy and when he gets cold his skin turns blue.
That Gary is as round and red as a cherry, and twice as kind.
Harry always goes out of his way to show that he is kind to people.
Young and nice people have great big smiles.
Big and round people who arent cold, tend to be very kind.
Folks who are nice and young with red coloration tend to feel blue.
When somebody is round, kind and blue, you know they'll also be red.
A young person with cold, rough skin will be red as well.
John is round and rough, meaning that he is someone that is seen as green.
If you meet somebody who is green, big and red you'll notice they are also blue.