Although Bob is young and nice, he is as cold as ice. Charlie was born only a few years ago so he is young. Dave is young and green round guy, and that keeps him from being cold.  He has stayed kind. Harry gets red when he is mad and tends to act very cold. If people are nice and round, they look red. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. A person who is round shaped while also being quite cold tends to be nice. I've noticed that red, cold people who are kind have the trait of rough skin.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Harry is red.
True
1
proof
[(triple10)]
("Harry" "is" "red" "+")
triple10
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Dave is nice.
True
3
proof
[(((triple6 triple9) -> rule3))]
("Dave" "is" "nice" "+")
((triple6 triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple6 triple9) -> rule3))]
("Dave" "is" "nice" "-")
((triple6 triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
True
5
proof
[(((((triple6 triple9) -> rule3) triple6) -> rule1))]
("Dave" "is" "red" "+")
((((triple6 triple9) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not red.
False
5
inv-proof
[(((((triple6 triple9) -> rule3) triple6) -> rule1))]
("Dave" "is" "red" "-")
((((triple6 triple9) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
True
8
proof
[(((triple7 triple9 ((((triple6 triple9) -> rule3) triple6) -> rule1)) -> rule4))]
("Dave" "is" "rough" "+")
((triple7 triple9 ((((triple6 triple9) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not rough.
False
8
inv-proof
[(((triple7 triple9 ((((triple6 triple9) -> rule3) triple6) -> rule1)) -> rule4))]
("Dave" "is" "rough" "-")
((triple7 triple9 ((((triple6 triple9) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is young.[(triple4)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5)] Harry is cold.[(triple11)] Harry is red.[(triple10)] @1: Dave is nice.[(((triple6 triple9) -> rule3))] @2: Dave is red.[(((((triple6 triple9) -> rule3) triple6) -> rule1))] @3: Dave is rough.[(((triple7 triple9 ((((triple6 triple9) -> rule3) triple6) -> rule1)) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple9) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple6 triple9) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple9 ((((triple6 triple9) -> (rule3 % int3)) triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Although Bob is young and nice, he is as cold as ice.
Charlie was born only a few years ago so he is young.
Dave is young and green round guy, and that keeps him from being cold; He has stayed kind.
Harry gets red when he is mad and tends to act very cold.
If people are nice and round, they look red.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
A person who is round shaped while also being quite cold tends to be nice.
I've noticed that red, cold people who are kind have the trait of rough skin.