Alan's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Charlie is rough and is blue, but that's because he's big and round in a small and square world. Young Dave got into a fight that left him with red sores on his face. Gary is kind and round. Being round makes him a bit blue. Someone who looks rough and feels cold is also kind to others. This person is nice and young, also round, which makes them cold. Big, kind, and nice people are often red in color. A big person that is tattooed blue will be very nice. People who are red and green are also nice. When you meet kind people they wont have a cold heart. Round, nice people are normally cold and nasty.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind and nice then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is kind.
True
1
proof
[(triple11)]
("Gary" "is" "kind" "+")
triple11
Charlie is not big.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "big" "-")
triple7
Charlie is nice.
True
3
proof
[(((triple7 triple6) -> rule4))]
("Charlie" "is" "nice" "+")
((triple7 triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple11) -> rule6))]
("Gary" "is" "cold" "-")
((triple11) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is cold.
True
5
proof
[(((triple4 ((triple7 triple6) -> rule4)) -> rule7))]
("Charlie" "is" "cold" "+")
((triple4 ((triple7 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((triple4 ((triple7 triple6) -> rule4)) -> rule7))]
("Charlie" "is" "cold" "-")
((triple4 ((triple7 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
True
7
proof
[(((triple5 ((triple4 ((triple7 triple6) -> rule4)) -> rule7)) -> rule1))]
("Charlie" "is" "kind" "+")
((triple5 ((triple4 ((triple7 triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not kind.
False
7
inv-proof
[(((triple5 ((triple4 ((triple7 triple6) -> rule4)) -> rule7)) -> rule1))]
("Charlie" "is" "kind" "-")
((triple5 ((triple4 ((triple7 triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
True
12
proof
[(((triple7 ((triple5 ((triple4 ((triple7 triple6) -> rule4)) -> rule7)) -> rule1) ((triple7 triple6) -> rule4)) -> rule3))]
("Charlie" "is" "red" "+")
((triple7 ((triple5 ((triple4 ((triple7 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7 triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is not red.
False
12
inv-proof
[(((triple7 ((triple5 ((triple4 ((triple7 triple6) -> rule4)) -> rule7)) -> rule1) ((triple7 triple6) -> rule4)) -> rule3))]
("Charlie" "is" "red" "-")
((triple7 ((triple5 ((triple4 ((triple7 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7 triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is nice.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is rough.[(triple5)] Charlie is round.[(triple4)] Dave is red.[(triple9)] Dave is young.[(triple8)] Gary is blue.[(triple12)] Gary is kind.[(triple11)] Gary is round.[(triple10)] @1: Charlie is nice.[(((triple7 triple6) -> rule4))] Gary is cold.[(((triple11) -> rule6))] @2: Charlie is cold.[(((triple4 ((triple7 triple6) -> rule4)) -> rule7))] @3: Charlie is kind.[(((triple5 ((triple4 ((triple7 triple6) -> rule4)) -> rule7)) -> rule1))] @4: Charlie is red.[(((triple7 ((triple5 ((triple4 ((triple7 triple6) -> rule4)) -> rule7)) -> rule1) ((triple7 triple6) -> rule4)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7 triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple11) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 ((triple7 triple6) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((triple4 ((triple7 triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple7 ((triple5 ((triple4 ((triple7 triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple7 triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Alan's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Charlie is rough and is blue, but that's because he's big and round in a small and square world.
Young Dave got into a fight that left him with red sores on his face.
Gary is kind and round; Being round makes him a bit blue.
Someone who looks rough and feels cold is also kind to others.
This person is nice and young, also round, which makes them cold.
Big, kind, and nice people are often red in color.
A big person that is tattooed blue will be very nice.
People who are red and green are also nice.
When you meet kind people they wont have a cold heart.
Round, nice people are normally cold and nasty.