Because Bob gets cold easily he tends to appear round from bundling up. Red Dave is what folks call him, because he is quite red. Most people see Fred as round, albeit nice and big at the same time. People who know Harry know he's red, kind, young, cold, blue and big. A blue colored, nice but rough person is definitely young too. People who always wear red and act in a kind manner towards everyone they meet also have a round body. Have you noticed that green and round folks are also so young. Rough people will often be blue.  They thrive on being kind and nice. It's always true that round, kind people are rough as well. It's true that green and blue people are also red people. Those who are round and cold are young.
Bob is round.
("Bob" "is" "round" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
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 round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Harry is blue.
True
1
proof
[(triple11)]
("Harry" "is" "blue" "+")
triple11
Harry is not big.
False
1
inv-proof
[(triple12)]
("Harry" "is" "big" "-")
triple12
Bob is young.
True
3
proof
[(((triple2 triple1) -> rule7))]
("Bob" "is" "young" "+")
((triple2 triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple2 triple1) -> rule7))]
("Bob" "is" "young" "-")
((triple2 triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is rough.
True
5
proof
[(((((triple8 triple9) -> rule2) triple9) -> rule5))]
("Harry" "is" "rough" "+")
((((triple8 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((((triple8 triple9) -> rule2) triple9) -> rule5))]
("Harry" "is" "rough" "-")
((((triple8 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
True
8
proof
[(((((((triple8 triple9) -> rule2) triple9) -> rule5) triple9 triple11) -> rule4))]
("Harry" "is" "nice" "+")
((((((triple8 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple9 triple11) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not nice.
False
8
inv-proof
[(((((((triple8 triple9) -> rule2) triple9) -> rule5) triple9 triple11) -> rule4))]
("Harry" "is" "nice" "-")
((((((triple8 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple9 triple11) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is cold.[(triple2)] Bob is round.[(triple1)] Dave is red.[(triple3)] Fred is big.[(triple6)] Fred is nice.[(triple5)] Fred is round.[(triple4)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] Harry is young.[(triple7 OR ((triple10 ((triple8 triple9) -> rule2)) -> rule7) OR ((((((((triple8 triple9) -> rule2) triple9) -> rule5) triple9 triple11) -> rule4) triple11 ((((triple8 triple9) -> rule2) triple9) -> rule5)) -> rule1))] @1: Bob is young.[(((triple2 triple1) -> rule7))] Harry is round.[(((triple8 triple9) -> rule2))] @2: Harry is rough.[(((((triple8 triple9) -> rule2) triple9) -> rule5))] @3: Harry is nice.[(((((((triple8 triple9) -> rule2) triple9) -> rule5) triple9 triple11) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
((triple10 ((triple8 triple9) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((((triple8 triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3)) triple9 triple11) -> (rule4 % int2)) triple11 ((((triple8 triple9) -> (rule2 % int4)) triple9) -> (rule5 % int3))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple1) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple8 triple9) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple8 triple9) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple8 triple9) -> (rule2 % int3)) triple9) -> (rule5 % int2)) triple9 triple11) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Because Bob gets cold easily he tends to appear round from bundling up.
Red Dave is what folks call him, because he is quite red.
Most people see Fred as round, albeit nice and big at the same time.
People who know Harry know he's red, kind, young, cold, blue and big.
A blue colored, nice but rough person is definitely young too.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
Have you noticed that green and round folks are also so young.
Rough people will often be blue; They thrive on being kind and nice.
It's always true that round, kind people are rough as well.
It's true that green and blue people are also red people.
Those who are round and cold are young.