Fred has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. This Harry guy is red. He is also kind and yet cold. A kind red person is also a blue person. Red, kind, rough people are the young ones. Being cold and blue made them rough to deal with. Someone who's blue, nice and round will also be someone who's green. A big and rough person who is blue is also considered to be green. People who are rough and cold, but also nice, are considered green.
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Fred is green.
True
1
proof
[(triple5)]
("Fred" "is" "green" "+")
triple5
Fred is not rough.
False
1
inv-proof
[(triple2)]
("Fred" "is" "rough" "-")
triple2
Harry is blue.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Harry" "is" "blue" "+")
((triple7 triple6) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Harry" "is" "blue" "-")
((triple7 triple6) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
True
5
proof
[(((triple8 ((triple7 triple6) -> rule1)) -> rule3))]
("Harry" "is" "rough" "+")
((triple8 ((triple7 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((triple8 ((triple7 triple6) -> rule1)) -> rule3))]
("Harry" "is" "rough" "-")
((triple8 ((triple7 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
True
8
proof
[(((triple6 triple7 ((triple8 ((triple7 triple6) -> rule1)) -> rule3)) -> rule2))]
("Harry" "is" "young" "+")
((triple6 triple7 ((triple8 ((triple7 triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not young.
False
8
inv-proof
[(((triple6 triple7 ((triple8 ((triple7 triple6) -> rule1)) -> rule3)) -> rule2))]
("Harry" "is" "young" "-")
((triple6 triple7 ((triple8 ((triple7 triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "+")
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Fred is green.[(triple5)] Fred is nice.[(triple4)] Fred is red.[(triple3)] Fred is rough.[(triple2)] Fred is round.[(triple1)] Harry is cold.[(triple8)] Harry is kind.[(triple7)] Harry is red.[(triple6)] @1: Harry is blue.[(((triple7 triple6) -> rule1))] @2: Harry is rough.[(((triple8 ((triple7 triple6) -> rule1)) -> rule3))] @3: Harry is young.[(((triple6 triple7 ((triple8 ((triple7 triple6) -> rule1)) -> rule3)) -> rule2))]
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple2
Fred is round.
("Fred" "is" "round" "+")
triple1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 triple6) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 ((triple7 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple6 triple7 ((triple8 ((triple7 triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Fred has rough skin that is tinged with both red and green; He has a round shape and is nice to everyone he meets.
This Harry guy is red; He is also kind and yet cold.
A kind red person is also a blue person.
Red, kind, rough people are the young ones.
Being cold and blue made them rough to deal with.
Someone who's blue, nice and round will also be someone who's green.
A big and rough person who is blue is also considered to be green.
People who are rough and cold, but also nice, are considered green.