They always call him rough Bob. The big, round, blue guy is Dave. He's kind but rather rough. Fred is blue and cold. Gary is fat; so he appears big and round.  Gary is also nice and kind to everyone that he meets. When a young person has a round shape and feels blue, they will be green as well. When a kind person is feeling cold with red skin, they will be round as well. Being a young, round and kind individual means that you are also a blue individual. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. A person with big hair and rough lips is certainly young and jaded. People feeling green and blue are somewhat nice. Someone who's young and frosty cold are actually very nice.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Dave is kind.
True
1
proof
[(triple4)]
("Dave" "is" "kind" "+")
triple4
Dave is not kind.
False
1
inv-proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Gary is young.
True
4
proof
[(((triple10 triple12 triple11) -> rule4))]
("Gary" "is" "young" "+")
((triple10 triple12 triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
4
inv-proof
[(((triple10 triple12 triple11) -> rule4))]
("Gary" "is" "young" "-")
((triple10 triple12 triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
True
7
proof
[(((((triple10 triple12 triple11) -> rule4) triple9 triple11) -> rule3))]
("Gary" "is" "blue" "+")
((((triple10 triple12 triple11) -> (rule4 % int2)) triple9 triple11) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not blue.
False
7
inv-proof
[(((((triple10 triple12 triple11) -> rule4) triple9 triple11) -> rule3))]
("Gary" "is" "blue" "-")
((((triple10 triple12 triple11) -> (rule4 % int2)) triple9 triple11) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
True
13
proof
[(((((((triple10 triple12 triple11) -> rule4) triple9 triple11) -> rule3) triple9 ((triple10 triple12 triple11) -> rule4)) -> rule1))]
("Gary" "is" "green" "+")
((((((triple10 triple12 triple11) -> (rule4 % int3)) triple9 triple11) -> (rule3 % int2)) triple9 ((triple10 triple12 triple11) -> (rule4 % int3))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not green.
False
13
inv-proof
[(((((((triple10 triple12 triple11) -> rule4) triple9 triple11) -> rule3) triple9 ((triple10 triple12 triple11) -> rule4)) -> rule1))]
("Gary" "is" "green" "-")
((((((triple10 triple12 triple11) -> (rule4 % int3)) triple9 triple11) -> (rule3 % int2)) triple9 ((triple10 triple12 triple11) -> (rule4 % int3))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Fred is not nice.
Unknown
inv-rconc
[@3: Fred is nice.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is green.
Unknown
rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fred" "is" "green" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Bob is rough.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5 OR ((((triple3 triple6) -> rule5) triple2 triple4) -> rule3))] Dave is kind.[(triple4)] Dave is rough.[(triple3)] Dave is round.[(triple2)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Gary is big.[(triple12)] Gary is kind.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] @1: Dave is young.[(((triple3 triple6) -> rule5))] Gary is young.[(((triple10 triple12 triple11) -> rule4))] @2: Dave is green.[(((triple5 triple2 ((triple3 triple6) -> rule5)) -> rule1) OR ((((((triple3 triple6) -> rule5) triple2 triple4) -> rule3) triple2 ((triple3 triple6) -> rule5)) -> rule1))] Gary is blue.[(((((triple10 triple12 triple11) -> rule4) triple9 triple11) -> rule3))] @3: Dave is nice.[(((((triple5 triple2 ((triple3 triple6) -> rule5)) -> rule1) triple5) -> rule6) OR ((((triple5 triple2 ((triple3 triple6) -> rule5)) -> rule1) ((((triple3 triple6) -> rule5) triple2 triple4) -> rule3)) -> rule6) OR ((((((((triple3 triple6) -> rule5) triple2 triple4) -> rule3) triple2 ((triple3 triple6) -> rule5)) -> rule1) triple5) -> rule6) OR ((((((((triple3 triple6) -> rule5) triple2 triple4) -> rule3) triple2 ((triple3 triple6) -> rule5)) -> rule1) ((((triple3 triple6) -> rule5) triple2 triple4) -> rule3)) -> rule6))] Gary is green.[(((((((triple10 triple12 triple11) -> rule4) triple9 triple11) -> rule3) triple9 ((triple10 triple12 triple11) -> rule4)) -> rule1))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
((((triple3 triple6) -> (rule5 % int2)) triple2 triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
((triple3 triple6) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple12 triple11) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple2 ((triple3 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((((triple3 triple6) -> (rule5 % int3)) triple2 triple4) -> (rule3 % int2)) triple2 ((triple3 triple6) -> (rule5 % int3))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((triple10 triple12 triple11) -> (rule4 % int2)) triple9 triple11) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple5 triple2 ((triple3 triple6) -> (rule5 % int3))) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple5 triple2 ((triple3 triple6) -> (rule5 % int4))) -> (rule1 % int3)) ((((triple3 triple6) -> (rule5 % int4)) triple2 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple3 triple6) -> (rule5 % int4)) triple2 triple4) -> (rule3 % int3)) triple2 ((triple3 triple6) -> (rule5 % int4))) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((((triple3 triple6) -> (rule5 % int4)) triple2 triple4) -> (rule3 % int3)) triple2 ((triple3 triple6) -> (rule5 % int4))) -> (rule1 % int2)) ((((triple3 triple6) -> (rule5 % int4)) triple2 triple4) -> (rule3 % int3))) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((((((triple10 triple12 triple11) -> (rule4 % int3)) triple9 triple11) -> (rule3 % int2)) triple9 ((triple10 triple12 triple11) -> (rule4 % int3))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
They always call him rough Bob.
The big, round, blue guy is Dave; He's kind but rather rough.
Fred is blue and cold.
Gary is fat; so he appears big and round; Gary is also nice and kind to everyone that he meets.
When a young person has a round shape and feels blue, they will be green as well.
When a kind person is feeling cold with red skin, they will be round as well.
Being a young, round and kind individual means that you are also a blue individual.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
A person with big hair and rough lips is certainly young and jaded.
People feeling green and blue are somewhat nice.
Someone who's young and frosty cold are actually very nice.