Upon meeting Bob, you'll notice he's green and kind. Charlie is a nice and red, but very kind person as soon as you meet him. Eric is blue and cold. Harry is young and kind.  But he plays really rough with his friends. A cold person who is round but rough around the edges is big. Rough people are often round. I've been told that big, nice people are very rough. A kind and nice person who is looking green is often red. Young, kind people with a round body shape can be cold to strangers. Nice young people who are always cold end up also being big.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and nice and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Charlie is red.
True
1
proof
[(triple3)]
("Charlie" "is" "red" "+")
triple3
Eric is not blue.
False
1
inv-proof
[(triple7)]
("Eric" "is" "blue" "-")
triple7
Harry is round.
True
2
proof
[(((triple9) -> rule2))]
("Harry" "is" "round" "+")
((triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple9) -> rule2))]
("Harry" "is" "round" "-")
((triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
True
5
proof
[(((triple10 triple8 ((triple9) -> rule2)) -> rule5))]
("Harry" "is" "cold" "+")
((triple10 triple8 ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((triple10 triple8 ((triple9) -> rule2)) -> rule5))]
("Harry" "is" "cold" "-")
((triple10 triple8 ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
True
9
proof
[(((((triple9) -> rule2) ((triple10 triple8 ((triple9) -> rule2)) -> rule5) triple9) -> rule1))]
("Harry" "is" "big" "+")
((((triple9) -> (rule2 % int3)) ((triple10 triple8 ((triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not big.
False
9
inv-proof
[(((((triple9) -> rule2) ((triple10 triple8 ((triple9) -> rule2)) -> rule5) triple9) -> rule1))]
("Harry" "is" "big" "-")
((((triple9) -> (rule2 % int3)) ((triple10 triple8 ((triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Harry is kind.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is round.[(((triple9) -> rule2))] @2: Harry is cold.[(((triple10 triple8 ((triple9) -> rule2)) -> rule5))] @3: Harry is big.[(((((triple9) -> rule2) ((triple10 triple8 ((triple9) -> rule2)) -> rule5) triple9) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple8 ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple9) -> (rule2 % int3)) ((triple10 triple8 ((triple9) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Upon meeting Bob, you'll notice he's green and kind.
Charlie is a nice and red, but very kind person as soon as you meet him.
Eric is blue and cold.
Harry is young and kind; But he plays really rough with his friends.
A cold person who is round but rough around the edges is big.
Rough people are often round.
I've been told that big, nice people are very rough.
A kind and nice person who is looking green is often red.
Young, kind people with a round body shape can be cold to strangers.
Nice young people who are always cold end up also being big.