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.
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.