Bob is a nice round guy, which leads to him being red. Eric ate some rotten meat and now feels green. Fred is nice and young with red hair and a blue shirt. Gary grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. If you meet a nice, young, red man, you will see that they are big too. Kind big people are green and young. A kind, cold, round person will be nice in addition. Nice, green people that are somewhat round are big through the shoulders. Someone who is colored both in red and green, while being kind to others, is a round person. A big and blue colored person is also certainly very kind. Anyone that's described as young, kind and blue can be said to be cold, too.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Eric is green.
True
1
proof
[(triple4)]
("Eric" "is" "green" "+")
triple4
Bob is not nice.
False
1
inv-proof
[(triple3)]
("Bob" "is" "nice" "-")
triple3
Fred is big.
True
4
proof
[(((triple5 triple7 triple6) -> rule1))]
("Fred" "is" "big" "+")
((triple5 triple7 triple6) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
4
inv-proof
[(((triple5 triple7 triple6) -> rule1))]
("Fred" "is" "big" "-")
((triple5 triple7 triple6) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
True
6
proof
[(((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6))]
("Fred" "is" "kind" "+")
((triple8 ((triple5 triple7 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6))]
("Fred" "is" "kind" "-")
((triple8 ((triple5 triple7 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
True
9
proof
[(((triple5 triple8 ((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6)) -> rule7))]
("Fred" "is" "cold" "+")
((triple5 triple8 ((triple8 ((triple5 triple7 triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not cold.
False
9
inv-proof
[(((triple5 triple8 ((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6)) -> rule7))]
("Fred" "is" "cold" "-")
((triple5 triple8 ((triple8 ((triple5 triple7 triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Eric" "is" "young" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Eric is green.[(triple4)] Fred is blue.[(triple8)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Fred is young.[(triple5)] Gary is blue.[(triple10)] Gary is rough.[(triple9)] @1: Fred is big.[(((triple5 triple7 triple6) -> rule1))] @2: Fred is kind.[(((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6))] @3: Fred is cold.[(((triple5 triple8 ((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6)) -> rule7))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Fred is big.
("Fred" "is" "big" "+")
((triple5 triple7 triple6) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple8 ((triple5 triple7 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((triple5 triple8 ((triple8 ((triple5 triple7 triple6) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Bob is a nice round guy, which leads to him being red.
Eric ate some rotten meat and now feels green.
Fred is nice and young with red hair and a blue shirt.
Gary grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
If you meet a nice, young, red man, you will see that they are big too.
Kind big people are green and young.
A kind, cold, round person will be nice in addition.
Nice, green people that are somewhat round are big through the shoulders.
Someone who is colored both in red and green, while being kind to others, is a round person.
A big and blue colored person is also certainly very kind.
Anyone that's described as young, kind and blue can be said to be cold, too.