Alan ate some rotten meat and now feels green. Charlie is a nice round guy, which leads to him being red. Eric is a red person who is round and also feels blue. You can see Gary walking down the street because he is big and round.  He's actually a kind guy even though he's rough around the edges.  He also has a red, ruddy complexion. A nice young person who is red is cold. I know anyone I meet who is big, nice, and round will be young. You can tell if someone is big, kind, and young, then they are also nice. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. A person who is kind but also rough and is also colored blue, will be shaped round. A nice person who is downhearted, blue, and green with envy is rough. Blue, red and nice people are always big, too.
Alan is green.
("Alan" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
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 blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Eric is blue.
True
1
proof
[(triple7)]
("Eric" "is" "blue" "+")
triple7
Eric is not blue.
False
1
inv-proof
[(triple7)]
("Eric" "is" "blue" "-")
triple7
Gary is nice.
True
4
proof
[(((triple12 triple8 triple10) -> rule4))]
("Gary" "is" "nice" "+")
((triple12 triple8 triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
4
inv-proof
[(((triple12 triple8 triple10) -> rule4))]
("Gary" "is" "nice" "-")
((triple12 triple8 triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
True
7
proof
[(((triple12 ((triple12 triple8 triple10) -> rule4) triple8) -> rule2))]
("Gary" "is" "young" "+")
((triple12 ((triple12 triple8 triple10) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is not young.
False
7
inv-proof
[(((triple12 ((triple12 triple8 triple10) -> rule4) triple8) -> rule2))]
("Gary" "is" "young" "-")
((triple12 ((triple12 triple8 triple10) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
True
13
proof
[(((((triple12 triple8 triple10) -> rule4) triple10 ((triple12 ((triple12 triple8 triple10) -> rule4) triple8) -> rule2)) -> rule1))]
("Gary" "is" "cold" "+")
((((triple12 triple8 triple10) -> (rule4 % int3)) triple10 ((triple12 ((triple12 triple8 triple10) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not cold.
False
13
inv-proof
[(((((triple12 triple8 triple10) -> rule4) triple10 ((triple12 ((triple12 triple8 triple10) -> rule4) triple8) -> rule2)) -> rule1))]
("Gary" "is" "cold" "-")
((((triple12 triple8 triple10) -> (rule4 % int3)) triple10 ((triple12 ((triple12 triple8 triple10) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@3: Eric is nice.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not cold.
Unknown
inv-rconc
[@4: Eric is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule7 <- rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "big" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is green.[(triple1)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2)] Eric is blue.[(triple7)] Eric is red.[(triple6)] Eric is round.[(triple5)] Gary is big.[(triple12)] Gary is kind.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Gary is nice.[(((triple12 triple8 triple10) -> rule4))] @2: Gary is young.[(((triple12 ((triple12 triple8 triple10) -> rule4) triple8) -> rule2))] @3: Gary is cold.[(((((triple12 triple8 triple10) -> rule4) triple10 ((triple12 ((triple12 triple8 triple10) -> rule4) triple8) -> rule2)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
((triple12 triple8 triple10) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple12 ((triple12 triple8 triple10) -> (rule4 % int2)) triple8) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple12 triple8 triple10) -> (rule4 % int3)) triple10 ((triple12 ((triple12 triple8 triple10) -> (rule4 % int3)) triple8) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Alan ate some rotten meat and now feels green.
Charlie is a nice round guy, which leads to him being red.
Eric is a red person who is round and also feels blue.
You can see Gary walking down the street because he is big and round; He's actually a kind guy even though he's rough around the edges; He also has a red, ruddy complexion.
A nice young person who is red is cold.
I know anyone I meet who is big, nice, and round will be young.
You can tell if someone is big, kind, and young, then they are also nice.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
A person who is kind but also rough and is also colored blue, will be shaped round.
A nice person who is downhearted, blue, and green with envy is rough.
Blue, red and nice people are always big, too.