Bob is a big gentleman who is very nice. He is secretly green with envy. Eric wears all blue. Fred is young but big for his age. Fred wasn't feeling well so he is a little green. Young Gary is so nice even though he always feels cold.  He loves to wear blue and green clothes. Big, round, red people are always so young. Ifa blue and green colored person is rough then they must be big shaped. A nice person who is downhearted, blue, and green with envy is rough. Nice people who are big in stature often look rough. People who are nice, big, and also rough, are considered red.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Gary is green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "+")
triple10
Bob is not big.
False
1
inv-proof
[(triple3)]
("Bob" "is" "big" "-")
triple3
Bob is rough.
True
3
proof
[(((triple1 triple3) -> rule4))]
("Bob" "is" "rough" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
3
inv-proof
[(((triple1 triple3) -> rule4))]
("Bob" "is" "rough" "-")
((triple1 triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is big.
True
7
proof
[(((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2))]
("Gary" "is" "big" "+")
((triple12 triple10 ((triple9 triple12 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not big.
False
7
inv-proof
[(((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2))]
("Gary" "is" "big" "-")
((triple12 triple10 ((triple9 triple12 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
True
13
proof
[(((triple9 ((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2) ((triple9 triple12 triple10) -> rule3)) -> rule5))]
("Gary" "is" "red" "+")
((triple9 ((triple12 triple10 ((triple9 triple12 triple10) -> (rule3 % int3))) -> (rule2 % int2)) ((triple9 triple12 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not red.
False
13
inv-proof
[(((triple9 ((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2) ((triple9 triple12 triple10) -> rule3)) -> rule5))]
("Gary" "is" "red" "-")
((triple9 ((triple12 triple10 ((triple9 triple12 triple10) -> (rule3 % int3))) -> (rule2 % int2)) ((triple9 triple12 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Eric is blue.[(triple4)] Fred is big.[(triple7)] Fred is green.[(triple6)] Fred is young.[(triple5)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is green.[(triple10)] Gary is nice.[(triple9)] Gary is young.[(triple8)] @1: Bob is rough.[(((triple1 triple3) -> rule4))] Gary is rough.[(((triple9 triple12 triple10) -> rule3))] @2: Bob is red.[(((triple1 triple3 ((triple1 triple3) -> rule4)) -> rule5))] Gary is big.[(((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2))] @3: Gary is red.[(((triple9 ((triple12 triple10 ((triple9 triple12 triple10) -> rule3)) -> rule2) ((triple9 triple12 triple10) -> rule3)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 triple3) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple9 triple12 triple10) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple1 triple3 ((triple1 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple12 triple10 ((triple9 triple12 triple10) -> (rule3 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple9 ((triple12 triple10 ((triple9 triple12 triple10) -> (rule3 % int3))) -> (rule2 % int2)) ((triple9 triple12 triple10) -> (rule3 % int3))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Bob is a big gentleman who is very nice; He is secretly green with envy.
Eric wears all blue.
Fred is young but big for his age; Fred wasn't feeling well so he is a little green.
Young Gary is so nice even though he always feels cold; He loves to wear blue and green clothes.
Big, round, red people are always so young.
Ifa blue and green colored person is rough then they must be big shaped.
A nice person who is downhearted, blue, and green with envy is rough.
Nice people who are big in stature often look rough.
People who are nice, big, and also rough, are considered red.