Alan is blue just like his dog. Alan is rough and round enough for the dog to use him as an exercise wheel. Charlie is green, which is a possible explanation for why he is so nice. Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Gary is a big person who is kind to all.  He is red and blue. Being round and nice automatically means a person is kind. A kind person with green and red skin must be big too. Look for the blue and green people, they are kind and will give you directions if you're lost. A nice and blue person who's also red will be a rough person. People who are cold even when they're nice and round, they are young. When somebody is round, kind and blue, you know they'll also be red.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Alan is blue.
True
1
proof
[(triple3)]
("Alan" "is" "blue" "+")
triple3
Eric is not round.
False
1
inv-proof
[(triple6)]
("Eric" "is" "round" "-")
triple6
Eric is kind.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Eric" "is" "kind" "+")
((triple8 triple7) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Eric" "is" "kind" "-")
((triple8 triple7) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
True
6
proof
[(((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6))]
("Eric" "is" "red" "+")
((triple6 ((triple8 triple7) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not red.
False
6
inv-proof
[(((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6))]
("Eric" "is" "red" "-")
((triple6 ((triple8 triple7) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
True
11
proof
[(((triple7 ((triple8 triple7) -> rule3) ((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6)) -> rule2))]
("Eric" "is" "big" "+")
((triple7 ((triple8 triple7) -> (rule3 % int3)) ((triple6 ((triple8 triple7) -> (rule3 % int3)) triple8) -> (rule6 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not big.
False
11
inv-proof
[(((triple7 ((triple8 triple7) -> rule3) ((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6)) -> rule2))]
("Eric" "is" "big" "-")
((triple7 ((triple8 triple7) -> (rule3 % int3)) ((triple6 ((triple8 triple7) -> (rule3 % int3)) triple8) -> (rule6 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Eric is blue.[(triple8)] Eric is green.[(triple7)] Eric is round.[(triple6)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Eric is kind.[(((triple8 triple7) -> rule3))] @2: Eric is red.[(((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6))] @3: Eric is big.[(((triple7 ((triple8 triple7) -> rule3) ((triple6 ((triple8 triple7) -> rule3) triple8) -> rule6)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 triple7) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple6 ((triple8 triple7) -> (rule3 % int2)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple7 ((triple8 triple7) -> (rule3 % int3)) ((triple6 ((triple8 triple7) -> (rule3 % int3)) triple8) -> (rule6 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Alan is blue just like his dog; Alan is rough and round enough for the dog to use him as an exercise wheel.
Charlie is green, which is a possible explanation for why he is so nice.
Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Gary is a big person who is kind to all; He is red and blue.
Being round and nice automatically means a person is kind.
A kind person with green and red skin must be big too.
Look for the blue and green people, they are kind and will give you directions if you're lost.
A nice and blue person who's also red will be a rough person.
People who are cold even when they're nice and round, they are young.
When somebody is round, kind and blue, you know they'll also be red.