Charlie is fat; so he appears big and round.  Charlie is also nice and kind to everyone that he meets. Big Eric is nice but also rough. Fred is young and kind.  But he plays really rough with his friends. Harry ate some rotten meat and now feels green. It's a fact that young people are red people. A young round person who is green is also red. A big person in size will definitely be rough. Folks who are nice and young with red coloration tend to feel blue. Round people are often red before they turn green. People who are nice and kind are somewhat young.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Charlie is big.
True
1
proof
[(triple4)]
("Charlie" "is" "big" "+")
triple4
Eric is not big.
False
1
inv-proof
[(triple7)]
("Eric" "is" "big" "-")
triple7
Charlie is young.
True
3
proof
[(((triple3 triple2) -> rule6))]
("Charlie" "is" "young" "+")
((triple3 triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule6))]
("Charlie" "is" "young" "-")
((triple3 triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
True
4
proof
[(((((triple3 triple2) -> rule6)) -> rule1))]
("Charlie" "is" "red" "+")
((((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not red.
False
4
inv-proof
[(((((triple3 triple2) -> rule6)) -> rule1))]
("Charlie" "is" "red" "-")
((((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is green.
True
6
proof
[(((triple1 ((((triple3 triple2) -> rule6)) -> rule1)) -> rule5))]
("Charlie" "is" "green" "+")
((triple1 ((((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not blue.
False
9
inv-proof
[(((triple2 ((triple3 triple2) -> rule6) ((((triple3 triple2) -> rule6)) -> rule1)) -> rule4))]
("Charlie" "is" "blue" "-")
((triple2 ((triple3 triple2) -> (rule6 % int3)) ((((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "+")
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Eric" "is" "red" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Charlie is big.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple7)] Eric is nice.[(triple6)] Eric is rough.[(triple5 OR ((triple7) -> rule3))] Fred is kind.[(triple10)] Fred is rough.[(triple9)] Fred is young.[(triple8)] Harry is green.[(triple11)] @1: Charlie is rough.[(((triple4) -> rule3))] Charlie is young.[(((triple3 triple2) -> rule6))] Fred is red.[(((triple8) -> rule1))] @2: Charlie is red.[(((((triple3 triple2) -> rule6)) -> rule1))] @3: Charlie is blue.[(((triple2 ((triple3 triple2) -> rule6) ((((triple3 triple2) -> rule6)) -> rule1)) -> rule4))] Charlie is green.[(((triple1 ((((triple3 triple2) -> rule6)) -> rule1)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
((triple7) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple11
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2 ((triple3 triple2) -> (rule6 % int3)) ((((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((triple1 ((((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is fat; so he appears big and round; Charlie is also nice and kind to everyone that he meets.
Big Eric is nice but also rough.
Fred is young and kind; But he plays really rough with his friends.
Harry ate some rotten meat and now feels green.
It's a fact that young people are red people.
A young round person who is green is also red.
A big person in size will definitely be rough.
Folks who are nice and young with red coloration tend to feel blue.
Round people are often red before they turn green.
People who are nice and kind are somewhat young.