Alan is known to be rough and green. Charlie is a nice person who is red because he has a rash. Dave is big and dresses in blue. Eric was born only a few years ago so he is young. Rough people are often round. Blue people who are big tend to be rough. A big and rough person who is blue is also considered to be green. They found the ones that were round, blue, and green to be nice. A blue individual that is kind and nice to others also has a rough appearance.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Alan is round.
True
2
proof
[(((triple1) -> rule1))]
("Alan" "is" "round" "+")
((triple1) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Alan" "is" "round" "-")
((triple1) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Dave is green.
True
6
proof
[(((((triple5 triple6) -> rule2) triple6 triple5) -> rule3))]
("Dave" "is" "green" "+")
((((triple5 triple6) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not green.
False
6
inv-proof
[(((((triple5 triple6) -> rule2) triple6 triple5) -> rule3))]
("Dave" "is" "green" "-")
((((triple5 triple6) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
True
12
proof
[(((((((triple5 triple6) -> rule2)) -> rule1) triple5 ((((triple5 triple6) -> rule2) triple6 triple5) -> rule3)) -> rule4))]
("Dave" "is" "nice" "+")
((((((triple5 triple6) -> (rule2 % int4))) -> (rule1 % int3)) triple5 ((((triple5 triple6) -> (rule2 % int4)) triple6 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is not nice.
False
12
inv-proof
[(((((((triple5 triple6) -> rule2)) -> rule1) triple5 ((((triple5 triple6) -> rule2) triple6 triple5) -> rule3)) -> rule4))]
("Dave" "is" "nice" "-")
((((((triple5 triple6) -> (rule2 % int4))) -> (rule1 % int3)) triple5 ((((triple5 triple6) -> (rule2 % int4)) triple6 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "+")
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Eric is young.[(triple7)] @1: Alan is round.[(((triple1) -> rule1))] Dave is rough.[(((triple5 triple6) -> rule2))] @2: Dave is green.[(((((triple5 triple6) -> rule2) triple6 triple5) -> rule3))] Dave is round.[(((((triple5 triple6) -> rule2)) -> rule1))] @3: Dave is nice.[(((((((triple5 triple6) -> rule2)) -> rule1) triple5 ((((triple5 triple6) -> rule2) triple6 triple5) -> rule3)) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple7
Alan is round.
("Alan" "is" "round" "+")
((triple1) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple5 triple6) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple5 triple6) -> (rule2 % int2)) triple6 triple5) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple5 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((((triple5 triple6) -> (rule2 % int4))) -> (rule1 % int3)) triple5 ((((triple5 triple6) -> (rule2 % int4)) triple6 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Alan is known to be rough and green.
Charlie is a nice person who is red because he has a rash.
Dave is big and dresses in blue.
Eric was born only a few years ago so he is young.
Rough people are often round.
Blue people who are big tend to be rough.
A big and rough person who is blue is also considered to be green.
They found the ones that were round, blue, and green to be nice.
A blue individual that is kind and nice to others also has a rough appearance.