Alan is a man who is both round and rough. That man standing next to you with a big round body goes by the name of Charlie. Dave ate some rotten meat and now feels green. 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. Find someone cold and green. If they are also round, then they are sure to be nice. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Anybody that is big is also someone who is going to be blue. Rough folks with green and red coloration tend to feel cold no matter what. Anyone with red and blue coloration also has green coloration. A rather round and green person will be red. Nice people who are big in stature often look rough.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
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 cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Gary is red.
True
1
proof
[(triple8)]
("Gary" "is" "red" "+")
triple8
Dave is not green.
False
1
inv-proof
[(triple5)]
("Dave" "is" "green" "-")
triple5
Charlie is blue.
True
2
proof
[(((triple4) -> rule3))]
("Charlie" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple4) -> rule3))]
("Charlie" "is" "blue" "-")
((triple4) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Gary is green.
True
4
proof
[(((triple8 ((triple10) -> rule3)) -> rule5))]
("Gary" "is" "green" "+")
((triple8 ((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not green.
False
4
inv-proof
[(((triple8 ((triple10) -> rule3)) -> rule5))]
("Gary" "is" "green" "-")
((triple8 ((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
True
7
proof
[(((triple7 ((triple8 ((triple10) -> rule3)) -> rule5) triple8) -> rule4))]
("Gary" "is" "cold" "+")
((triple7 ((triple8 ((triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not cold.
False
7
inv-proof
[(((triple7 ((triple8 ((triple10) -> rule3)) -> rule5) triple8) -> rule4))]
("Gary" "is" "cold" "-")
((triple7 ((triple8 ((triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
True
13
proof
[(((((triple7 ((triple8 ((triple10) -> rule3)) -> rule5) triple8) -> rule4) ((triple8 ((triple10) -> rule3)) -> rule5) triple6) -> rule1))]
("Gary" "is" "nice" "+")
((((triple7 ((triple8 ((triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule4 % int2)) ((triple8 ((triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is not nice.
False
13
inv-proof
[(((((triple7 ((triple8 ((triple10) -> rule3)) -> rule5) triple8) -> rule4) ((triple8 ((triple10) -> rule3)) -> rule5) triple6) -> rule1))]
("Gary" "is" "nice" "-")
((((triple7 ((triple8 ((triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule4 % int2)) ((triple8 ((triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule7 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple4)] Charlie is round.[(triple3)] Dave is green.[(triple5)] Gary is big.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] @1: Charlie is blue.[(((triple4) -> rule3))] Gary is blue.[(((triple10) -> rule3))] @2: Gary is green.[(((triple8 ((triple10) -> rule3)) -> rule5))] @3: Gary is cold.[(((triple7 ((triple8 ((triple10) -> rule3)) -> rule5) triple8) -> rule4))] @4: Gary is nice.[(((((triple7 ((triple8 ((triple10) -> rule3)) -> rule5) triple8) -> rule4) ((triple8 ((triple10) -> rule3)) -> rule5) triple6) -> rule1))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple8 ((triple10) -> (rule3 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 ((triple8 ((triple10) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple7 ((triple8 ((triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule4 % int2)) ((triple8 ((triple10) -> (rule3 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Alan is a man who is both round and rough.
That man standing next to you with a big round body goes by the name of Charlie.
Dave ate some rotten meat and now feels green.
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.
Find someone cold and green; If they are also round, then they are sure to be nice.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Anybody that is big is also someone who is going to be blue.
Rough folks with green and red coloration tend to feel cold no matter what.
Anyone with red and blue coloration also has green coloration.
A rather round and green person will be red.
Nice people who are big in stature often look rough.