People think that Alan is round. This might be because he is young and blue. Bob is big and rough. Dave is too round for someone so young. Also, he is sometimes red and sometimes green. Red Fred is what folks call him, because he is quite red. A person who is described as round and rough is usually kind. Nice, green people that are somewhat round are big through the shoulders. A young someone is red in thought but green in ideas. When you know someone who is young and green you can count on them being nice to everyone. Green people here that are also round and nice are always rough. Nice young people who are always cold end up also being big.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Alan is round.
True
1
proof
[(triple2)]
("Alan" "is" "round" "+")
triple2
Alan is not round.
False
1
inv-proof
[(triple2)]
("Alan" "is" "round" "-")
triple2
Dave is nice.
True
3
proof
[(((triple6 triple9) -> rule4) OR ((triple6 ((triple8 triple6) -> rule3)) -> rule4))]
("Dave" "is" "nice" "+")
((triple6 triple9) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 ((triple8 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not nice.
False
3
inv-proof
[(((triple6 triple9) -> rule4) OR ((triple6 ((triple8 triple6) -> rule3)) -> rule4))]
("Dave" "is" "nice" "-")
((triple6 triple9) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 ((triple8 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
True
6
proof
[(((triple9 ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((triple9 ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2))]
("Dave" "is" "big" "+")
((triple9 ((triple6 triple9) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8 triple6) -> (rule3 % int3)) ((triple6 triple9) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple8 triple6) -> (rule3 % int3)) ((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not big.
False
6
inv-proof
[(((triple9 ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((triple9 ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2))]
("Dave" "is" "big" "-")
((triple9 ((triple6 triple9) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8 triple6) -> (rule3 % int3)) ((triple6 triple9) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple8 triple6) -> (rule3 % int3)) ((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
True
8
proof
[(((triple7 ((((triple6 triple9) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 triple9) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1))]
("Dave" "is" "kind" "+")
((triple7 ((((triple6 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple7 ((((triple6 triple9) -> (rule4 % int4)) triple7 ((triple8 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple7 ((((triple6 ((triple8 triple6) -> (rule3 % int4))) -> (rule4 % int3)) triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple7 ((((triple6 ((triple8 triple6) -> (rule3 % int4))) -> (rule4 % int3)) triple7 ((triple8 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not kind.
False
8
inv-proof
[(((triple7 ((((triple6 triple9) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 triple9) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1))]
("Dave" "is" "kind" "-")
((triple7 ((((triple6 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple7 ((((triple6 triple9) -> (rule4 % int4)) triple7 ((triple8 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple7 ((((triple6 ((triple8 triple6) -> (rule3 % int4))) -> (rule4 % int3)) triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple7 ((((triple6 ((triple8 triple6) -> (rule3 % int4))) -> (rule4 % int3)) triple7 ((triple8 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "-")
Alan is rough.
Unknown
rconc
[@2: Alan is rough.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Alan is blue.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple5)] Bob is rough.[(triple4)] Dave is green.[(triple9 OR ((triple8 triple6) -> rule3))] Dave is red.[(triple8)] Dave is round.[(triple7)] Dave is young.[(triple6)] Fred is red.[(triple10)] @1: Dave is nice.[(((triple6 triple9) -> rule4) OR ((triple6 ((triple8 triple6) -> rule3)) -> rule4))] @2: Dave is big.[(((triple9 ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((triple9 ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2))] Dave is rough.[(((((triple6 triple9) -> rule4) triple7 triple9) -> rule5) OR ((((triple6 triple9) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5) OR ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 triple9) -> rule5) OR ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5))] @3: Dave is kind.[(((triple7 ((((triple6 triple9) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 triple9) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple9
((triple8 triple6) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple9) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple6 ((triple8 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple9 ((triple6 triple9) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8 triple6) -> (rule3 % int3)) ((triple6 triple9) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple8 triple6) -> (rule3 % int3)) ((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((triple6 triple9) -> (rule4 % int2)) triple7 triple9) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple6 triple9) -> (rule4 % int3)) triple7 ((triple8 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7 triple9) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple6 ((triple8 triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple7 ((triple8 triple6) -> (rule3 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((triple7 ((((triple6 triple9) -> (rule4 % int3)) triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple7 ((((triple6 triple9) -> (rule4 % int4)) triple7 ((triple8 triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple7 ((((triple6 ((triple8 triple6) -> (rule3 % int4))) -> (rule4 % int3)) triple7 triple9) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple7 ((((triple6 ((triple8 triple6) -> (rule3 % int4))) -> (rule4 % int3)) triple7 ((triple8 triple6) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
People think that Alan is round; This might be because he is young and blue.
Bob is big and rough.
Dave is too round for someone so young; Also, he is sometimes red and sometimes green.
Red Fred is what folks call him, because he is quite red.
A person who is described as round and rough is usually kind.
Nice, green people that are somewhat round are big through the shoulders.
A young someone is red in thought but green in ideas.
When you know someone who is young and green you can count on them being nice to everyone.
Green people here that are also round and nice are always rough.
Nice young people who are always cold end up also being big.