In the snow sits Bob, crying from being cold. Dave is red, cold in temperature and round shaped. Dave is also very  big. In the snow sits Gary, crying from being cold. I know Harry really well and you can say he is rough on the outside, cold on the inside and red all of the time. If a red person is cold and kind to others, they also tend to be blue. Watch out for the rough and round kind people for they cold to others. It is true that kind people who have become cold and blue and survived are necessarily big. Interestingly, cold and rough people are kind. Rough people who are nice and have green thumbs are almost always young. If you meet somebody who is young, rough and round, you can be sure they are nice as well.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
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 nice and green and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and round and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Gary is cold.
True
1
proof
[(triple6)]
("Gary" "is" "cold" "+")
triple6
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Harry is kind.
True
3
proof
[(((triple9 triple7) -> rule4))]
("Harry" "is" "kind" "+")
((triple9 triple7) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple9 triple7) -> rule4))]
("Harry" "is" "kind" "-")
((triple9 triple7) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
True
6
proof
[(((triple9 ((triple9 triple7) -> rule4) triple8) -> rule1))]
("Harry" "is" "blue" "+")
((triple9 ((triple9 triple7) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((triple9 ((triple9 triple7) -> rule4) triple8) -> rule1))]
("Harry" "is" "blue" "-")
((triple9 ((triple9 triple7) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
True
11
proof
[(((((triple9 ((triple9 triple7) -> rule4) triple8) -> rule1) triple9 ((triple9 triple7) -> rule4)) -> rule3))]
("Harry" "is" "big" "+")
((((triple9 ((triple9 triple7) -> (rule4 % int3)) triple8) -> (rule1 % int2)) triple9 ((triple9 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not big.
False
11
inv-proof
[(((((triple9 ((triple9 triple7) -> rule4) triple8) -> rule1) triple9 ((triple9 triple7) -> rule4)) -> rule3))]
("Harry" "is" "big" "-")
((((triple9 ((triple9 triple7) -> (rule4 % int3)) triple8) -> (rule1 % int2)) triple9 ((triple9 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Dave is blue.
Unknown
rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Dave" "is" "blue" "+")
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is cold.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2)] Gary is cold.[(triple6)] Harry is cold.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] @1: Harry is kind.[(((triple9 triple7) -> rule4))] @2: Harry is blue.[(((triple9 ((triple9 triple7) -> rule4) triple8) -> rule1))] @3: Harry is big.[(((((triple9 ((triple9 triple7) -> rule4) triple8) -> rule1) triple9 ((triple9 triple7) -> rule4)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 triple7) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple9 ((triple9 triple7) -> (rule4 % int2)) triple8) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple9 ((triple9 triple7) -> (rule4 % int3)) triple8) -> (rule1 % int2)) triple9 ((triple9 triple7) -> (rule4 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
In the snow sits Bob, crying from being cold.
Dave is red, cold in temperature and round shaped; Dave is also very  big.
In the snow sits Gary, crying from being cold.
I know Harry really well and you can say he is rough on the outside, cold on the inside and red all of the time.
If a red person is cold and kind to others, they also tend to be blue.
Watch out for the rough and round kind people for they cold to others.
It is true that kind people who have become cold and blue and survived are necessarily big.
Interestingly, cold and rough people are kind.
Rough people who are nice and have green thumbs are almost always young.
If you meet somebody who is young, rough and round, you can be sure they are nice as well.