Alan who is considered nice was feeling rather rough today. Charlie was known for being kind, a bit big and round and for playing rough when he was young. Dave always goes out of his way to show that he is kind to people. Gary's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Kind young people are red. Big people who are red in color are often nice. Someone who is not kind, will see red and be cold, which leads them to always feel blue. Kind, rough people who are nice are also cold. As someone can be round and rough, they can also be nice and kind. Round people are often red before they turn green. A young person who is both big and blue is also someone who is green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Charlie is kind.
True
1
proof
[(triple6)]
("Charlie" "is" "kind" "+")
triple6
Alan is not nice.
False
1
inv-proof
[(triple2)]
("Alan" "is" "nice" "-")
triple2
Charlie is red.
True
3
proof
[(((triple6 triple3) -> rule1))]
("Charlie" "is" "red" "+")
((triple6 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple6 triple3) -> rule1))]
("Charlie" "is" "red" "-")
((triple6 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
True
5
proof
[(((triple7 ((triple6 triple3) -> rule1)) -> rule2))]
("Charlie" "is" "nice" "+")
((triple7 ((triple6 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((triple7 ((triple6 triple3) -> rule1)) -> rule2))]
("Charlie" "is" "nice" "-")
((triple7 ((triple6 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
True
8
proof
[(((triple6 triple5 ((triple7 ((triple6 triple3) -> rule1)) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "+")
((triple6 triple5 ((triple7 ((triple6 triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not cold.
False
8
inv-proof
[(((triple6 triple5 ((triple7 ((triple6 triple3) -> rule1)) -> rule2)) -> rule4))]
("Charlie" "is" "cold" "-")
((triple6 triple5 ((triple7 ((triple6 triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
True
13
proof
[(((triple6 ((triple6 triple3) -> rule1) ((triple6 triple5 ((triple7 ((triple6 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule3))]
("Charlie" "is" "blue" "+")
((triple6 ((triple6 triple3) -> (rule1 % int4)) ((triple6 triple5 ((triple7 ((triple6 triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is not blue.
False
13
inv-proof
[(((triple6 ((triple6 triple3) -> rule1) ((triple6 triple5 ((triple7 ((triple6 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule3))]
("Charlie" "is" "blue" "-")
((triple6 ((triple6 triple3) -> (rule1 % int4)) ((triple6 triple5 ((triple7 ((triple6 triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not blue.
Unknown
inv-rconc
[@2: Dave is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Alan is blue.
Unknown
rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "blue" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Charlie is rough.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Dave is kind.[(triple8)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is nice.[(triple9)] @1: Charlie is red.[(((triple6 triple3) -> rule1))] @2: Charlie is green.[(((triple4 ((triple6 triple3) -> rule1)) -> rule6) OR ((((triple6 ((triple6 triple3) -> rule1) ((triple6 triple5 ((triple7 ((triple6 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule3) triple3 triple7) -> rule7))] Charlie is nice.[(((triple7 ((triple6 triple3) -> rule1)) -> rule2))] @3: Charlie is cold.[(((triple6 triple5 ((triple7 ((triple6 triple3) -> rule1)) -> rule2)) -> rule4))] @4: Charlie is blue.[(((triple6 ((triple6 triple3) -> rule1) ((triple6 triple5 ((triple7 ((triple6 triple3) -> rule1)) -> rule2)) -> rule4)) -> rule3))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
((triple6 triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple6 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple6 ((triple6 triple3) -> (rule1 % int5)) ((triple6 triple5 ((triple7 ((triple6 triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple3 triple7) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7 ((triple6 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6 triple5 ((triple7 ((triple6 triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 ((triple6 triple3) -> (rule1 % int4)) ((triple6 triple5 ((triple7 ((triple6 triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Alan who is considered nice was feeling rather rough today.
Charlie was known for being kind, a bit big and round and for playing rough when he was young.
Dave always goes out of his way to show that he is kind to people.
Gary's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Kind young people are red.
Big people who are red in color are often nice.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
Kind, rough people who are nice are also cold.
As someone can be round and rough, they can also be nice and kind.
Round people are often red before they turn green.
A young person who is both big and blue is also someone who is green.