Charlie is a rough but very kind and blue person. Eric 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. Gary is so big, he is often blue, but always kind. All people that are rough and cold, as well as nice will be kind if you talk to them. It's a fact that young people are red people. It's easy to be round and blue when you are young. A young, nice person will turn out to be a green person also. A big person with cold, rough skin is going to be green as well. A person who is kind but also rough and is also colored blue, will be shaped round. An individual who is big and nice is also green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Eric is rough.
True
1
proof
[(triple4)]
("Eric" "is" "rough" "+")
triple4
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Charlie is round.
True
4
proof
[(((triple2 triple1 triple3) -> rule6))]
("Charlie" "is" "round" "+")
((triple2 triple1 triple3) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
4
inv-proof
[(((triple2 triple1 triple3) -> rule6))]
("Charlie" "is" "round" "-")
((triple2 triple1 triple3) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
True
6
proof
[(((((triple2 triple1 triple3) -> rule6) triple3) -> rule3))]
("Charlie" "is" "young" "+")
((((triple2 triple1 triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((((triple2 triple1 triple3) -> rule6) triple3) -> rule3))]
("Charlie" "is" "young" "-")
((((triple2 triple1 triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
True
7
proof
[(((((((triple2 triple1 triple3) -> rule6) triple3) -> rule3)) -> rule2))]
("Charlie" "is" "red" "+")
((((((triple2 triple1 triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not red.
False
7
inv-proof
[(((((((triple2 triple1 triple3) -> rule6) triple3) -> rule3)) -> rule2))]
("Charlie" "is" "red" "-")
((((((triple2 triple1 triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "green" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Charlie is blue.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1)] Eric is blue.[(triple5)] Eric is rough.[(triple4)] Gary is big.[(triple8)] Gary is blue.[(triple7)] Gary is kind.[(triple6)] @1: Charlie is round.[(((triple2 triple1 triple3) -> rule6))] @2: Charlie is young.[(((((triple2 triple1 triple3) -> rule6) triple3) -> rule3))] @3: Charlie is red.[(((((((triple2 triple1 triple3) -> rule6) triple3) -> rule3)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
((triple2 triple1 triple3) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple2 triple1 triple3) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple2 triple1 triple3) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is a rough but very kind and blue person.
Eric 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.
Gary is so big, he is often blue, but always kind.
All people that are rough and cold, as well as nice will be kind if you talk to them.
It's a fact that young people are red people.
It's easy to be round and blue when you are young.
A young, nice person will turn out to be a green person also.
A big person with cold, rough skin is going to be green as well.
A person who is kind but also rough and is also colored blue, will be shaped round.
An individual who is big and nice is also green.