Because Charlie gets cold easily he tends to appear round from bundling up. Dave is a kind and red colored guy. That man standing next to you with a big round body goes by the name of Gary. Harry is big and rough looking but is very nice and kind. Anyone who manages to be round, blue, and green must be pretty big. A very kind and green colored person, who is also cold, will be nice. When anyone can be described as nice, young and big, they can also be described as red. Big people that have a rough demeanor usually feel blue. Rough people will often be blue.  They thrive on being kind and nice. All the kind people in blue were young. People that are big but also green, may ultimately be very nice.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
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 blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Harry is big.
True
1
proof
[(triple10)]
("Harry" "is" "big" "+")
triple10
Harry is not nice.
False
1
inv-proof
[(triple8 OR ((triple7 triple9 ((triple10 triple7) -> rule4)) -> rule5))]
("Harry" "is" "nice" "-")
triple8
((triple7 triple9 ((triple10 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is blue.
True
3
proof
[(((triple10 triple7) -> rule4))]
("Harry" "is" "blue" "+")
((triple10 triple7) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple10 triple7) -> rule4))]
("Harry" "is" "blue" "-")
((triple10 triple7) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
True
5
proof
[(((((triple10 triple7) -> rule4) triple9) -> rule6))]
("Harry" "is" "young" "+")
((((triple10 triple7) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not young.
False
5
inv-proof
[(((((triple10 triple7) -> rule4) triple9) -> rule6))]
("Harry" "is" "young" "-")
((((triple10 triple7) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
True
8
proof
[(((triple8 triple10 ((((triple10 triple7) -> rule4) triple9) -> rule6)) -> rule3) OR ((((triple7 triple9 ((triple10 triple7) -> rule4)) -> rule5) triple10 ((((triple10 triple7) -> rule4) triple9) -> rule6)) -> rule3))]
("Harry" "is" "red" "+")
((triple8 triple10 ((((triple10 triple7) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple7 triple9 ((triple10 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple10 ((((triple10 triple7) -> (rule4 % int4)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is not red.
False
8
inv-proof
[(((triple8 triple10 ((((triple10 triple7) -> rule4) triple9) -> rule6)) -> rule3) OR ((((triple7 triple9 ((triple10 triple7) -> rule4)) -> rule5) triple10 ((((triple10 triple7) -> rule4) triple9) -> rule6)) -> rule3))]
("Harry" "is" "red" "-")
((triple8 triple10 ((((triple10 triple7) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple7 triple9 ((triple10 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple10 ((((triple10 triple7) -> (rule4 % int4)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Dave" "is" "young" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Charlie is cold.[(triple2)] Charlie is round.[(triple1)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Gary is big.[(triple6)] Gary is round.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] Harry is nice.[(triple8 OR ((triple7 triple9 ((triple10 triple7) -> rule4)) -> rule5))] Harry is rough.[(triple7)] @1: Harry is blue.[(((triple10 triple7) -> rule4))] @2: Harry is young.[(((((triple10 triple7) -> rule4) triple9) -> rule6))] @3: Harry is red.[(((triple8 triple10 ((((triple10 triple7) -> rule4) triple9) -> rule6)) -> rule3) OR ((((triple7 triple9 ((triple10 triple7) -> rule4)) -> rule5) triple10 ((((triple10 triple7) -> rule4) triple9) -> rule6)) -> rule3))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
((triple7 triple9 ((triple10 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 triple7) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple10 triple7) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple8 triple10 ((((triple10 triple7) -> (rule4 % int3)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple7 triple9 ((triple10 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple10 ((((triple10 triple7) -> (rule4 % int4)) triple9) -> (rule6 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Because Charlie gets cold easily he tends to appear round from bundling up.
Dave is a kind and red colored guy.
That man standing next to you with a big round body goes by the name of Gary.
Harry is big and rough looking but is very nice and kind.
Anyone who manages to be round, blue, and green must be pretty big.
A very kind and green colored person, who is also cold, will be nice.
When anyone can be described as nice, young and big, they can also be described as red.
Big people that have a rough demeanor usually feel blue.
Rough people will often be blue; They thrive on being kind and nice.
All the kind people in blue were young.
People that are big but also green, may ultimately be very nice.