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