Everyone noticed how round and nice Eric was. He was kind, and everyone thought he was green and big. Big, round Fred is liked by everyone one.  He is easily recognized with his red and green skin. Gary wears all blue. An individual that fits the nice, red, and kind description will fit the description of big, too. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. Round and big people are sure to be rough. People blue with cold are definitely green and new in these parts. Someone who is round like a dumpling and cold like an icicle are very young in age. If you find that someone has rough blue skin they are always kind. A person that is known to be big and rough is also green, they will feel blue about it.
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and nice and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Fred is round.
True
1
proof
[(triple6)]
("Fred" "is" "round" "+")
triple6
Eric is not round.
False
1
inv-proof
[(triple1)]
("Eric" "is" "round" "-")
triple1
Fred is rough.
True
3
proof
[(((triple6 triple9) -> rule3))]
("Fred" "is" "rough" "+")
((triple6 triple9) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple1 triple5) -> rule3))]
("Eric" "is" "rough" "-")
((triple1 triple5) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
True
6
proof
[(((triple5 ((triple1 triple5) -> rule3) triple4) -> rule7))]
("Eric" "is" "blue" "+")
((triple5 ((triple1 triple5) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Fred is not blue.
False
6
inv-proof
[(((triple9 ((triple6 triple9) -> rule3) triple8) -> rule7))]
("Fred" "is" "blue" "-")
((triple9 ((triple6 triple9) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
True
10
proof
[(((((triple6 triple9) -> rule3) ((triple9 ((triple6 triple9) -> rule3) triple8) -> rule7)) -> rule6))]
("Fred" "is" "kind" "+")
((((triple6 triple9) -> (rule3 % int3)) ((triple9 ((triple6 triple9) -> (rule3 % int3)) triple8) -> (rule7 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not kind.
False
10
inv-proof
[(((((triple6 triple9) -> rule3) ((triple9 ((triple6 triple9) -> rule3) triple8) -> rule7)) -> rule6))]
("Fred" "is" "kind" "-")
((((triple6 triple9) -> (rule3 % int3)) ((triple9 ((triple6 triple9) -> (rule3 % int3)) triple8) -> (rule7 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "young" "+")
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is kind.[(triple3 OR ((((triple1 triple5) -> rule3) ((triple5 ((triple1 triple5) -> rule3) triple4) -> rule7)) -> rule6))] Eric is nice.[(triple2)] Eric is round.[(triple1)] Fred is big.[(triple9)] Fred is green.[(triple8)] Fred is red.[(triple7)] Fred is round.[(triple6)] Gary is blue.[(triple10)] @1: Eric is rough.[(((triple1 triple5) -> rule3))] Fred is rough.[(((triple6 triple9) -> rule3))] @2: Eric is blue.[(((triple5 ((triple1 triple5) -> rule3) triple4) -> rule7))] Fred is blue.[(((triple9 ((triple6 triple9) -> rule3) triple8) -> rule7))] @3: Fred is kind.[(((((triple6 triple9) -> rule3) ((triple9 ((triple6 triple9) -> rule3) triple8) -> rule7)) -> rule6))]
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
((((triple1 triple5) -> (rule3 % int3)) ((triple5 ((triple1 triple5) -> (rule3 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
((triple1 triple5) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple6 triple9) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 ((triple1 triple5) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 ((triple6 triple9) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple6 triple9) -> (rule3 % int3)) ((triple9 ((triple6 triple9) -> (rule3 % int3)) triple8) -> (rule7 % int2))) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Everyone noticed how round and nice Eric was; He was kind, and everyone thought he was green and big.
Big, round Fred is liked by everyone one; He is easily recognized with his red and green skin.
Gary wears all blue.
An individual that fits the nice, red, and kind description will fit the description of big, too.
Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.
Round and big people are sure to be rough.
People blue with cold are definitely green and new in these parts.
Someone who is round like a dumpling and cold like an icicle are very young in age.
If you find that someone has rough blue skin they are always kind.
A person that is known to be big and rough is also green, they will feel blue about it.