Although Dave is seen as nice and round, his days of playing football have made him quite rough. That Eric is as round and red as a cherry, and twice as kind. Gary was born only a few years ago so he is young. Harry is young and big in stature.  He is cold but nice. I have found that if someone is kind and red, that they are quite often nice. It is true that kind people who have become cold and blue and survived are necessarily big. Interestingly, cold and rough people are kind. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A human being described as rough, nice and round will also fit the description of being cold. A young, big sized person will certainly be a kind one.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and red then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Eric is kind.
True
1
proof
[(triple6)]
("Eric" "is" "kind" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple7)]
("Gary" "is" "young" "-")
triple7
Dave is cold.
True
4
proof
[(((triple2 triple1 triple3) -> rule5))]
("Dave" "is" "cold" "+")
((triple2 triple1 triple3) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Eric" "is" "nice" "-")
((triple6 triple5) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Dave is kind.
True
6
proof
[(((((triple2 triple1 triple3) -> rule5) triple2) -> rule3))]
("Dave" "is" "kind" "+")
((((triple2 triple1 triple3) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((((triple2 triple1 triple3) -> rule5) triple2) -> rule3))]
("Dave" "is" "kind" "-")
((((triple2 triple1 triple3) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Eric is cold.
True
11
proof
[(((((triple6 triple4 ((triple6 triple5) -> rule1)) -> rule4) triple4 ((triple6 triple5) -> rule1)) -> rule5))]
("Eric" "is" "cold" "+")
((((triple6 triple4 ((triple6 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple4 ((triple6 triple5) -> (rule1 % int3))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not cold.
False
11
inv-proof
[(((((triple6 triple4 ((triple6 triple5) -> rule1)) -> rule4) triple4 ((triple6 triple5) -> rule1)) -> rule5))]
("Eric" "is" "cold" "-")
((((triple6 triple4 ((triple6 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple4 ((triple6 triple5) -> (rule1 % int3))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Dave is nice.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4)] Gary is young.[(triple7)] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is young.[(triple8)] @1: Dave is cold.[(((triple2 triple1 triple3) -> rule5))] Eric is nice.[(((triple6 triple5) -> rule1))] Harry is kind.[(((triple8 triple11) -> rule6))] @2: Dave is kind.[(((((triple2 triple1 triple3) -> rule5) triple2) -> rule3))] Eric is rough.[(((triple6 triple4 ((triple6 triple5) -> rule1)) -> rule4))] @3: Eric is cold.[(((((triple6 triple4 ((triple6 triple5) -> rule1)) -> rule4) triple4 ((triple6 triple5) -> rule1)) -> rule5))]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 triple1 triple3) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple6 triple5) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 triple11) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple2 triple1 triple3) -> (rule5 % int2)) triple2) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 triple4 ((triple6 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple6 triple4 ((triple6 triple5) -> (rule1 % int3))) -> (rule4 % int2)) triple4 ((triple6 triple5) -> (rule1 % int3))) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Although Dave is seen as nice and round, his days of playing football have made him quite rough.
That Eric is as round and red as a cherry, and twice as kind.
Gary was born only a few years ago so he is young.
Harry is young and big in stature; He is cold but nice.
I have found that if someone is kind and red, that they are quite often nice.
It is true that kind people who have become cold and blue and survived are necessarily big.
Interestingly, cold and rough people are kind.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
A human being described as rough, nice and round will also fit the description of being cold.
A young, big sized person will certainly be a kind one.