The cow is not blue. The cow is not rough. The cow likes the rabbit. The cow likes the squirrel. The cow needs the rabbit. The cow needs the squirrel. The rabbit is blue. The rabbit is red. The rabbit is round. The rabbit does not like the squirrel. The rabbit sees the cow. The rabbit does not see the squirrel. The squirrel is green. The squirrel likes the cow. The squirrel needs the rabbit. The squirrel sees the rabbit. If someone is rough then they are green. If someone needs the squirrel and the squirrel likes the rabbit then they are round. If someone likes the cow then they are round. If the squirrel sees the rabbit then the rabbit is rough. If someone needs the squirrel then the squirrel likes the rabbit. If someone is round and they like the squirrel then they see the squirrel. If someone sees the cow then they are rough. If someone is red and they need the rabbit then the rabbit likes the squirrel.
The cow is not blue.
("cow" "is" "blue" "-")
The cow is not rough.
("cow" "is" "rough" "-")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone needs the squirrel and the squirrel likes the rabbit then they are round.
((("someone" "needs" "squirrel" "+") ("squirrel" "likes" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If someone likes the cow then they are round.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "round" "+"))
If the squirrel sees the rabbit then the rabbit is rough.
((("squirrel" "sees" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If someone needs the squirrel then the squirrel likes the rabbit.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone is round and they like the squirrel then they see the squirrel.
((("someone" "is" "round" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the cow then they are rough.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and they need the rabbit then the rabbit likes the squirrel.
((("someone" "is" "red" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
The rabbit is red.
True
1
proof
[(triple8)]
("rabbit" "is" "red" "+")
triple8
The rabbit is not red.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "red" "-")
triple8
The squirrel likes the rabbit.
True
2
proof
[(((triple6) -> rule5))]
("squirrel" "likes" "rabbit" "+")
((triple6) -> (rule5 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple11) -> rule7) OR ((triple16) -> rule4))]
("rabbit" "is" "rough" "-")
((triple11) -> (rule7 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple16) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The cow is round.
True
4
proof
[(((triple6 ((triple6) -> rule5)) -> rule2))]
("cow" "is" "round" "+")
((triple6 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The rabbit is not green.
False
3
inv-proof
[(((((triple11) -> rule7)) -> rule1) OR ((((triple16) -> rule4)) -> rule1))]
("rabbit" "is" "green" "-")
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is rough.
Unknown
rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "rough" "+")
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The squirrel sees the cow.
Unknown
random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cow is not blue.[(triple1)] The cow is not rough.[(triple2)] The cow likes the rabbit.[(triple3)] The cow likes the squirrel.[(triple4)] The cow needs the rabbit.[(triple5)] The cow needs the squirrel.[(triple6)] The rabbit does not like the squirrel.[(triple10)] The rabbit does not see the squirrel.[(triple12)] The rabbit is blue.[(triple7)] The rabbit is red.[(triple8)] The rabbit is round.[(triple9)] The rabbit sees the cow.[(triple11)] The squirrel is green.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The rabbit is rough.[(((triple11) -> rule7) OR ((triple16) -> rule4))] The squirrel is round.[(((triple14) -> rule3))] The squirrel likes the rabbit.[(((triple6) -> rule5))] @2: The cow is round.[(((triple6 ((triple6) -> rule5)) -> rule2))] The rabbit is green.[(((((triple11) -> rule7)) -> rule1) OR ((((triple16) -> rule4)) -> rule1))] @3: The cow sees the squirrel.[(((((triple6 ((triple6) -> rule5)) -> rule2) triple4) -> rule6))]
The cow is not blue.
("cow" "is" "blue" "-")
triple1
The cow is not rough.
("cow" "is" "rough" "-")
triple2
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple3
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple4
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple5
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple6
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
triple10
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple15
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple16
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple11) -> (rule7 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple16) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple14) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
((triple6) -> (rule5 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple6 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
((((triple11) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple16) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
((((triple6 ((triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule6 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int3