Alan has a round face and is very nice. Others enjoy Charlie's company because he is so nice and kind. Although Dave is seen as nice and round, his days of playing football have made him quite rough. Big, young people feel cold all the time. A big person in size will definitely be rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. Someone being both nice and kind means that they are a big person. Rough people will often be blue.  They thrive on being kind and nice. When you meet someone with cold, rough skin and a round figure they will be nice. A green and quite rough person will also be blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
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 nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
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 rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Dave is round.
True
1
proof
[(triple5)]
("Dave" "is" "round" "+")
triple5
Alan is not nice.
False
1
inv-proof
[(triple2)]
("Alan" "is" "nice" "-")
triple2
Charlie is big.
True
3
proof
[(((triple3 triple4) -> rule4))]
("Charlie" "is" "big" "+")
((triple3 triple4) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule4))]
("Charlie" "is" "big" "-")
((triple3 triple4) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
True
4
proof
[(((((triple3 triple4) -> rule4)) -> rule2))]
("Charlie" "is" "rough" "+")
((((triple3 triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((((triple3 triple4) -> rule4)) -> rule2))]
("Charlie" "is" "rough" "-")
((((triple3 triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
True
9
proof
[(((triple4 ((((triple3 triple4) -> rule4)) -> rule2) ((triple3 triple4) -> rule4)) -> rule3))]
("Charlie" "is" "round" "+")
((triple4 ((((triple3 triple4) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3 triple4) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not round.
False
9
inv-proof
[(((triple4 ((((triple3 triple4) -> rule4)) -> rule2) ((triple3 triple4) -> rule4)) -> rule3))]
("Charlie" "is" "round" "-")
((triple4 ((((triple3 triple4) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3 triple4) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Dave is nice.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] @1: Charlie is big.[(((triple3 triple4) -> rule4))] @2: Charlie is rough.[(((((triple3 triple4) -> rule4)) -> rule2))] @3: Charlie is round.[(((triple4 ((((triple3 triple4) -> rule4)) -> rule2) ((triple3 triple4) -> rule4)) -> rule3))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple4) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple3 triple4) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 ((((triple3 triple4) -> (rule4 % int3))) -> (rule2 % int2)) ((triple3 triple4) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Alan has a round face and is very nice.
Others enjoy Charlie's company because he is so nice and kind.
Although Dave is seen as nice and round, his days of playing football have made him quite rough.
Big, young people feel cold all the time.
A big person in size will definitely be rough.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
Someone being both nice and kind means that they are a big person.
Rough people will often be blue; They thrive on being kind and nice.
When you meet someone with cold, rough skin and a round figure they will be nice.
A green and quite rough person will also be blue.