Bob ate some rotten meat and now feels green. Eric is a red person who is round and also feels blue. People think Fred is nice and kind for someone so young.  Fred wears his favorite color green all the time. Kind young people are red. You'll always find a young, kind and red person to be a cold person, too. A big blue someone could also be green. People with blue and red skin color are also green. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Round and big people are sure to be rough.
Bob is green.
("Bob" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Eric is blue.
True
1
proof
[(triple4)]
("Eric" "is" "blue" "+")
triple4
Fred is not nice.
False
1
inv-proof
[(triple6)]
("Fred" "is" "nice" "-")
triple6
Fred is red.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Fred" "is" "red" "+")
((triple7 triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Fred" "is" "red" "-")
((triple7 triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
True
6
proof
[(((triple7 triple5 ((triple7 triple5) -> rule1)) -> rule2))]
("Fred" "is" "cold" "+")
((triple7 triple5 ((triple7 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((triple7 triple5 ((triple7 triple5) -> rule1)) -> rule2))]
("Fred" "is" "cold" "-")
((triple7 triple5 ((triple7 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
True
8
proof
[(((((triple7 triple5 ((triple7 triple5) -> rule1)) -> rule2) triple6) -> rule5))]
("Fred" "is" "big" "+")
((((triple7 triple5 ((triple7 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not big.
False
8
inv-proof
[(((((triple7 triple5 ((triple7 triple5) -> rule1)) -> rule2) triple6) -> rule5))]
("Fred" "is" "big" "-")
((((triple7 triple5 ((triple7 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Eric is rough.
Unknown
rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Eric" "is" "rough" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is green.[(triple1)] Eric is blue.[(triple4)] Eric is red.[(triple3)] Eric is round.[(triple2)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is young.[(triple5)] @1: Eric is green.[(((triple4 triple3) -> rule4))] Fred is red.[(((triple7 triple5) -> rule1))] @2: Fred is cold.[(((triple7 triple5 ((triple7 triple5) -> rule1)) -> rule2))] @3: Fred is big.[(((((triple7 triple5 ((triple7 triple5) -> rule1)) -> rule2) triple6) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
((triple4 triple3) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple7 triple5) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple7 triple5 ((triple7 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple7 triple5 ((triple7 triple5) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Bob ate some rotten meat and now feels green.
Eric is a red person who is round and also feels blue.
People think Fred is nice and kind for someone so young; Fred wears his favorite color green all the time.
Kind young people are red.
You'll always find a young, kind and red person to be a cold person, too.
A big blue someone could also be green.
People with blue and red skin color are also green.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Round and big people are sure to be rough.