Alan is very nice to people, but he's also rather big. Bob ate some rotten meat and now feels green. That guy Dave is big, but he's always kind to little ones. Eric is rough and is blue, but that's because he's big and round in a small and square world. Big, kind people that are rough are known for being red. Young people with red skin who are a bit downhearted and blue are kind. Someone who is both red and blue will also be a nice person. Rough people, round from over eating, who are also cold are young and don't mind the draft. Young and rough green people, have no choice but to be red. It's said that any person with blue skin, round bones, and big feet is kind.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Eric is rough.
True
1
proof
[(triple7)]
("Eric" "is" "rough" "+")
triple7
Eric is not round.
False
1
inv-proof
[(triple6)]
("Eric" "is" "round" "-")
triple6
Eric is kind.
True
4
proof
[(((triple8 triple6 triple9) -> rule6))]
("Eric" "is" "kind" "+")
((triple8 triple6 triple9) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
4
inv-proof
[(((triple8 triple6 triple9) -> rule6))]
("Eric" "is" "kind" "-")
((triple8 triple6 triple9) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
True
7
proof
[(((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1))]
("Eric" "is" "red" "+")
((triple9 ((triple8 triple6 triple9) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not red.
False
7
inv-proof
[(((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1))]
("Eric" "is" "red" "-")
((triple9 ((triple8 triple6 triple9) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
True
9
proof
[(((((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1) triple8) -> rule3))]
("Eric" "is" "nice" "+")
((((triple9 ((triple8 triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not nice.
False
9
inv-proof
[(((((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1) triple8) -> rule3))]
("Eric" "is" "nice" "-")
((((triple9 ((triple8 triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple3)] Dave is big.[(triple5)] Dave is kind.[(triple4)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] @1: Eric is kind.[(((triple8 triple6 triple9) -> rule6))] @2: Eric is red.[(((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1))] @3: Eric is nice.[(((((triple9 ((triple8 triple6 triple9) -> rule6) triple7) -> rule1) triple8) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 triple6 triple9) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple9 ((triple8 triple6 triple9) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple9 ((triple8 triple6 triple9) -> (rule6 % int3)) triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Alan is very nice to people, but he's also rather big.
Bob ate some rotten meat and now feels green.
That guy Dave is big, but he's always kind to little ones.
Eric is rough and is blue, but that's because he's big and round in a small and square world.
Big, kind people that are rough are known for being red.
Young people with red skin who are a bit downhearted and blue are kind.
Someone who is both red and blue will also be a nice person.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
Young and rough green people, have no choice but to be red.
It's said that any person with blue skin, round bones, and big feet is kind.