Bob always goes out of his way to show that he is kind to people. Dave is green, which is a possible explanation for why he is so nice. Eric is big and tends to wear red shirts. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Whoever is rough and red must be kind. A person that is nice and young is also going to be a person that is rough. Almost all of the young blue and red people I have seen are big as well. Young and rough green people, have no choice but to be red. When someone feels blue and rough, they might be described as green. Blue people who are rough are often young. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Harry is rough.
True
1
proof
[(triple6)]
("Harry" "is" "rough" "+")
triple6
Eric is not big.
False
1
inv-proof
[(triple5)]
("Eric" "is" "big" "-")
triple5
Harry is green.
True
3
proof
[(((triple7 triple6) -> rule5))]
("Harry" "is" "green" "+")
((triple7 triple6) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple7 triple6) -> rule5))]
("Harry" "is" "green" "-")
((triple7 triple6) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
True
8
proof
[(((((triple6 triple7) -> rule6) triple6 ((triple7 triple6) -> rule5)) -> rule4))]
("Harry" "is" "red" "+")
((((triple6 triple7) -> (rule6 % int3)) triple6 ((triple7 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not red.
False
8
inv-proof
[(((((triple6 triple7) -> rule6) triple6 ((triple7 triple6) -> rule5)) -> rule4))]
("Harry" "is" "red" "-")
((((triple6 triple7) -> (rule6 % int3)) triple6 ((triple7 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
True
13
proof
[(((((triple6 triple7) -> rule6) triple7 ((((triple6 triple7) -> rule6) triple6 ((triple7 triple6) -> rule5)) -> rule4)) -> rule3))]
("Harry" "is" "big" "+")
((((triple6 triple7) -> (rule6 % int4)) triple7 ((((triple6 triple7) -> (rule6 % int4)) triple6 ((triple7 triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not kind.
False
10
inv-proof
[(((triple6 ((((triple6 triple7) -> rule6) triple6 ((triple7 triple6) -> rule5)) -> rule4)) -> rule1))]
("Harry" "is" "kind" "-")
((triple6 ((((triple6 triple7) -> (rule6 % int4)) triple6 ((triple7 triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "young" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Dave is kind.
Unknown
rconc
[@3: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule6 <- FAIL)]]
("Dave" "is" "kind" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is kind.[(triple1)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Eric is big.[(triple5)] Eric is red.[(triple4)] Harry is blue.[(triple7)] Harry is rough.[(triple6)] @1: Harry is green.[(((triple7 triple6) -> rule5))] Harry is young.[(((triple6 triple7) -> rule6))] @2: Harry is red.[(((((triple6 triple7) -> rule6) triple6 ((triple7 triple6) -> rule5)) -> rule4))] @3: Harry is big.[(((((triple6 triple7) -> rule6) triple7 ((((triple6 triple7) -> rule6) triple6 ((triple7 triple6) -> rule5)) -> rule4)) -> rule3))] Harry is kind.[(((triple6 ((((triple6 triple7) -> rule6) triple6 ((triple7 triple6) -> rule5)) -> rule4)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple6) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple6 triple7) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple6 triple7) -> (rule6 % int3)) triple6 ((triple7 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((triple6 triple7) -> (rule6 % int4)) triple7 ((((triple6 triple7) -> (rule6 % int4)) triple6 ((triple7 triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((triple6 ((((triple6 triple7) -> (rule6 % int4)) triple6 ((triple7 triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob always goes out of his way to show that he is kind to people.
Dave is green, which is a possible explanation for why he is so nice.
Eric is big and tends to wear red shirts.
Harry grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Whoever is rough and red must be kind.
A person that is nice and young is also going to be a person that is rough.
Almost all of the young blue and red people I have seen are big as well.
Young and rough green people, have no choice but to be red.
When someone feels blue and rough, they might be described as green.
Blue people who are rough are often young.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.