Young Charlie is kind and perpetually cold, especially during the winter holidays when he is green and red. Dave is very nice to people, but he's also rather big. Eric always goes out of his way to show that he is kind to people. Gary ate some rotten meat and now feels green. If a red person is cold and kind to others, they also tend to be blue. A round person who is nice and feelin cold is usually rough in apperance. Someone who is young and nice is often round. Rough young folks are surprisingly kind. Rough people will often be blue.  They thrive on being kind and nice. A nice and young aged person will definitely be green in color. A young blue person that is kind is known for being extra nice to others, too.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind and blue then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is young and blue and kind then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Charlie is not green.
False
1
inv-proof
[(triple4 OR ((((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7) triple1) -> rule6))]
("Charlie" "is" "green" "-")
triple4
((((triple1 ((triple5 triple3 triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is blue.
True
4
proof
[(((triple5 triple3 triple2) -> rule1))]
("Charlie" "is" "blue" "+")
((triple5 triple3 triple2) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
4
inv-proof
[(((triple5 triple3 triple2) -> rule1))]
("Charlie" "is" "blue" "-")
((triple5 triple3 triple2) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
True
7
proof
[(((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7))]
("Charlie" "is" "nice" "+")
((triple1 ((triple5 triple3 triple2) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not nice.
False
7
inv-proof
[(((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7))]
("Charlie" "is" "nice" "-")
((triple1 ((triple5 triple3 triple2) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
True
9
proof
[(((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3))]
("Charlie" "is" "round" "+")
((triple1 ((triple1 ((triple5 triple3 triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not round.
False
9
inv-proof
[(((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3))]
("Charlie" "is" "round" "-")
((triple1 ((triple1 ((triple5 triple3 triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
True
18
proof
[(((((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3) ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7) triple5) -> rule2))]
("Charlie" "is" "rough" "+")
((((triple1 ((triple1 ((triple5 triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int3))) -> (rule3 % int2)) ((triple1 ((triple5 triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int3)) triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not rough.
False
18
inv-proof
[(((((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3) ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7) triple5) -> rule2))]
("Charlie" "is" "rough" "-")
((((triple1 ((triple1 ((triple5 triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int3))) -> (rule3 % int2)) ((triple1 ((triple5 triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int3)) triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Eric" "is" "nice" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is cold.[(triple5)] Charlie is green.[(triple4 OR ((((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7) triple1) -> rule6))] Charlie is kind.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is big.[(triple7)] Dave is nice.[(triple6)] Eric is kind.[(triple8)] Gary is green.[(triple9)] @1: Charlie is blue.[(((triple5 triple3 triple2) -> rule1))] @2: Charlie is nice.[(((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7))] @3: Charlie is round.[(((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3))] @4: Charlie is rough.[(((((triple1 ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7)) -> rule3) ((triple1 ((triple5 triple3 triple2) -> rule1) triple3) -> rule7) triple5) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
((((triple1 ((triple5 triple3 triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 triple3 triple2) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 ((triple5 triple3 triple2) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple1 ((triple1 ((triple5 triple3 triple2) -> (rule1 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1 ((triple1 ((triple5 triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int3))) -> (rule3 % int2)) ((triple1 ((triple5 triple3 triple2) -> (rule1 % int4)) triple3) -> (rule7 % int3)) triple5) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Young Charlie is kind and perpetually cold, especially during the winter holidays when he is green and red.
Dave is very nice to people, but he's also rather big.
Eric always goes out of his way to show that he is kind to people.
Gary ate some rotten meat and now feels green.
If a red person is cold and kind to others, they also tend to be blue.
A round person who is nice and feelin cold is usually rough in apperance.
Someone who is young and nice is often round.
Rough young folks are surprisingly kind.
Rough people will often be blue; They thrive on being kind and nice.
A nice and young aged person will definitely be green in color.
A young blue person that is kind is known for being extra nice to others, too.