Dave ate some rotten meat and now feels green. Eric is a big young guy who is always nice even when feeling cold or blue.  Today however he is looking green due to being ill. Fred is very nice to people, but he's also rather big. Harry always goes out of his way to show that he is kind to people. Young round folks who are at least a bit red are actually nice. A person with a rough quality is also a person with a blue quality. Green and blue, when found in one person, signify someone who is cold. Big and cold people are likely to be round, too. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. If a rather cold person is also kind then they are probably rough.
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Eric is cold.
True
1
proof
[(triple5 OR ((triple4 triple6) -> rule3))]
("Eric" "is" "cold" "+")
triple5
((triple4 triple6) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not green.
False
1
inv-proof
[(triple4)]
("Eric" "is" "green" "-")
triple4
Eric is round.
True
3
proof
[(((triple7 triple5) -> rule4) OR ((triple7 ((triple4 triple6) -> rule3)) -> rule4))]
("Eric" "is" "round" "+")
((triple7 triple5) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
((triple7 ((triple4 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not round.
False
3
inv-proof
[(((triple7 triple5) -> rule4) OR ((triple7 ((triple4 triple6) -> rule3)) -> rule4))]
("Eric" "is" "round" "-")
((triple7 triple5) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
((triple7 ((triple4 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
True
6
proof
[(((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5) OR ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5))]
("Eric" "is" "kind" "+")
((triple4 triple3 ((triple7 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not kind.
False
6
inv-proof
[(((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5) OR ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5))]
("Eric" "is" "kind" "-")
((triple4 triple3 ((triple7 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
True
8
proof
[(((triple5 ((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) ((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5)) -> rule6))]
("Eric" "is" "rough" "+")
((triple5 ((triple4 triple3 ((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple4 triple6) -> (rule3 % int4)) ((triple4 triple3 ((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((triple5 ((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((((triple4 triple6) -> (rule3 % int4)) ((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Eric is not rough.
False
8
inv-proof
[(((triple5 ((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) ((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5)) -> rule6))]
("Eric" "is" "rough" "-")
((triple5 ((triple4 triple3 ((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple4 triple6) -> (rule3 % int4)) ((triple4 triple3 ((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((triple5 ((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((((triple4 triple6) -> (rule3 % int4)) ((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "cold" "+")
Dave is not rough.
Unknown
inv-rconc
[@3: Dave is rough.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Dave is green.[(triple1)] Eric is big.[(triple7)] Eric is blue.[(triple6 OR ((((triple5 ((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5)) -> rule6)) -> rule2))] Eric is cold.[(triple5 OR ((triple4 triple6) -> rule3))] Eric is green.[(triple4)] Eric is nice.[(triple3)] Eric is young.[(triple2)] Fred is big.[(triple9)] Fred is nice.[(triple8)] Harry is kind.[(triple10)] @1: Eric is round.[(((triple7 triple5) -> rule4) OR ((triple7 ((triple4 triple6) -> rule3)) -> rule4))] @2: Eric is kind.[(((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5) OR ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5))] @3: Eric is rough.[(((triple5 ((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) ((triple4 triple3 ((triple7 triple5) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3) ((triple4 triple3 ((triple7 ((triple4 triple6) -> rule3)) -> rule4)) -> rule5)) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
((((triple5 ((triple4 triple3 ((triple7 triple5) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is cold.
("Eric" "is" "cold" "+")
triple5
((triple4 triple6) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Eric is round.
("Eric" "is" "round" "+")
((triple7 triple5) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
((triple7 ((triple4 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((triple4 triple3 ((triple7 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
((triple5 ((triple4 triple3 ((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple4 triple6) -> (rule3 % int4)) ((triple4 triple3 ((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((triple5 ((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
((((triple4 triple6) -> (rule3 % int4)) ((triple4 triple3 ((triple7 ((triple4 triple6) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is cold.
("Eric" "is" "cold" "+")
int4
Dave ate some rotten meat and now feels green.
Eric is a big young guy who is always nice even when feeling cold or blue; Today however he is looking green due to being ill.
Fred is very nice to people, but he's also rather big.
Harry always goes out of his way to show that he is kind to people.
Young round folks who are at least a bit red are actually nice.
A person with a rough quality is also a person with a blue quality.
Green and blue, when found in one person, signify someone who is cold.
Big and cold people are likely to be round, too.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
If a rather cold person is also kind then they are probably rough.