That rough but kind guy is Bob, the green one. Dave is blue from ink he spilled on himself while being kind and helping some children paint. Eric is young and big in stature.  He is cold but nice. Red Gary is what folks call him, because he is quite red. Rough people are often always nice. Big people that are cold will show you how rough they actually are. It's easy to be round and blue when you are young. I have noticed that nice people that are green and blue are often round-shaped. A big, blue and cold person will also be a round person. Kind people, for example, like the ones at the bank are always blue.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and green and blue then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Bob is rough.
True
1
proof
[(triple1)]
("Bob" "is" "rough" "+")
triple1
Eric is not nice.
False
1
inv-proof
[(triple7 OR ((((triple8 triple9) -> rule2)) -> rule1))]
("Eric" "is" "nice" "-")
triple7
((((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Bob is blue.
True
2
proof
[(((triple2) -> rule6))]
("Bob" "is" "blue" "+")
((triple2) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple2) -> rule6))]
("Bob" "is" "blue" "-")
((triple2) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
True
6
proof
[(((((triple1) -> rule1) triple3 ((triple2) -> rule6)) -> rule4))]
("Bob" "is" "round" "+")
((((triple1) -> (rule1 % int3)) triple3 ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not round.
False
6
inv-proof
[(((((triple1) -> rule1) triple3 ((triple2) -> rule6)) -> rule4))]
("Bob" "is" "round" "-")
((((triple1) -> (rule1 % int3)) triple3 ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
True
9
proof
[(((((((triple1) -> rule1) triple3 ((triple2) -> rule6)) -> rule4) ((triple2) -> rule6)) -> rule3))]
("Bob" "is" "young" "+")
((((((triple1) -> (rule1 % int4)) triple3 ((triple2) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule6 % int3))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not young.
False
9
inv-proof
[(((((((triple1) -> rule1) triple3 ((triple2) -> rule6)) -> rule4) ((triple2) -> rule6)) -> rule3))]
("Bob" "is" "young" "-")
((((((triple1) -> (rule1 % int4)) triple3 ((triple2) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule6 % int3))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "+")
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "blue" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple5 OR ((triple4) -> rule6))] Dave is kind.[(triple4)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is nice.[(triple7 OR ((((triple8 triple9) -> rule2)) -> rule1))] Eric is young.[(triple6)] Gary is red.[(triple10)] @1: Bob is blue.[(((triple2) -> rule6))] Bob is nice.[(((triple1) -> rule1))] Eric is rough.[(((triple8 triple9) -> rule2))] @2: Bob is round.[(((((triple1) -> rule1) triple3 ((triple2) -> rule6)) -> rule4))] @3: Bob is young.[(((((((triple1) -> rule1) triple3 ((triple2) -> rule6)) -> rule4) ((triple2) -> rule6)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
((triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
((((triple8 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple8 triple9) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule1 % int3)) triple3 ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((((triple1) -> (rule1 % int4)) triple3 ((triple2) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule6 % int3))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
That rough but kind guy is Bob, the green one.
Dave is blue from ink he spilled on himself while being kind and helping some children paint.
Eric is young and big in stature; He is cold but nice.
Red Gary is what folks call him, because he is quite red.
Rough people are often always nice.
Big people that are cold will show you how rough they actually are.
It's easy to be round and blue when you are young.
I have noticed that nice people that are green and blue are often round-shaped.
A big, blue and cold person will also be a round person.
Kind people, for example, like the ones at the bank are always blue.