Alan is nice, even when he is rough and red with anger. Charlie 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. Eric is blue and cold. Young Harry is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. Anyone that is a red, nice soul will be big, too. I know anyone I meet who is big, nice, and round will be young. Any big, kind person that turns red is cold to the touch. As far as anyone can tell, whoever is kind, rough, and big is a round person. Rough folks with green and red coloration tend to feel cold no matter what. People who are rough are often rather kind as well.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Charlie is rough.
True
1
proof
[(triple4)]
("Charlie" "is" "rough" "+")
triple4
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Alan is big.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Alan" "is" "big" "+")
((triple2 triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Alan" "is" "big" "-")
((triple2 triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
True
7
proof
[(((triple2 ((triple2 triple3) -> rule1) ((triple1) -> rule6)) -> rule3))]
("Alan" "is" "cold" "+")
((triple2 ((triple2 triple3) -> (rule1 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not round.
False
7
inv-proof
[(((((triple1) -> rule6) triple1 ((triple2 triple3) -> rule1)) -> rule4))]
("Alan" "is" "round" "-")
((((triple1) -> (rule6 % int3)) triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is young.
True
12
proof
[(((((triple2 triple3) -> rule1) triple3 ((((triple1) -> rule6) triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule2))]
("Alan" "is" "young" "+")
((((triple2 triple3) -> (rule1 % int4)) triple3 ((((triple1) -> (rule6 % int3)) triple1 ((triple2 triple3) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is not young.
False
12
inv-proof
[(((((triple2 triple3) -> rule1) triple3 ((((triple1) -> rule6) triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule2))]
("Alan" "is" "young" "-")
((((triple2 triple3) -> (rule1 % int4)) triple3 ((((triple1) -> (rule6 % int3)) triple1 ((triple2 triple3) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "round" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Charlie is blue.[(triple5)] Charlie is rough.[(triple4)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Alan is big.[(((triple2 triple3) -> rule1))] Alan is kind.[(((triple1) -> rule6))] Charlie is kind.[(((triple4) -> rule6))] @2: Alan is cold.[(((triple2 ((triple2 triple3) -> rule1) ((triple1) -> rule6)) -> rule3))] Alan is round.[(((((triple1) -> rule6) triple1 ((triple2 triple3) -> rule1)) -> rule4))] @3: Alan is young.[(((((triple2 triple3) -> rule1) triple3 ((((triple1) -> rule6) triple1 ((triple2 triple3) -> rule1)) -> rule4)) -> rule2))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 ((triple2 triple3) -> (rule1 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
((((triple1) -> (rule6 % int3)) triple1 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
((((triple2 triple3) -> (rule1 % int4)) triple3 ((((triple1) -> (rule6 % int3)) triple1 ((triple2 triple3) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is nice, even when he is rough and red with anger.
Charlie 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.
Eric is blue and cold.
Young Harry is red from staying in the sun too long; Even though he is uncomfortable from feeling cold, he is still kind to others.
Anyone that is a red, nice soul will be big, too.
I know anyone I meet who is big, nice, and round will be young.
Any big, kind person that turns red is cold to the touch.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
Rough folks with green and red coloration tend to feel cold no matter what.
People who are rough are often rather kind as well.