The cow chases the squirrel. The cow eats the squirrel. The mouse chases the cow. The mouse eats the rabbit. The mouse needs the rabbit. The rabbit eats the squirrel. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit needs the mouse. The squirrel chases the mouse. The squirrel eats the cow. If the squirrel is green then the squirrel chases the rabbit. If the cow needs the mouse and the cow is rough then the mouse is cold. If someone eats the cow and the cow chases the mouse then they chase the rabbit. If someone chases the squirrel and the squirrel chases the mouse then they are red. If someone eats the rabbit and the rabbit is green then the rabbit chases the mouse. If someone is red then they chase the mouse.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
If the squirrel is green then the squirrel chases the rabbit.
((("squirrel" "is" "green" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If the cow needs the mouse and the cow is rough then the mouse is cold.
((("cow" "needs" "mouse" "+") ("cow" "is" "rough" "+")) -> ("mouse" "is" "cold" "+"))
If someone eats the cow and the cow chases the mouse then they chase the rabbit.
((("someone" "eats" "cow" "+") ("cow" "chases" "mouse" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the squirrel and the squirrel chases the mouse then they are red.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "mouse" "+")) -> ("someone" "is" "red" "+"))
If someone eats the rabbit and the rabbit is green then the rabbit chases the mouse.
((("someone" "eats" "rabbit" "+") ("rabbit" "is" "green" "+")) -> ("rabbit" "chases" "mouse" "+"))
If someone is red then they chase the mouse.
((("someone" "is" "red" "+")) -> ("someone" "chases" "mouse" "+"))
The mouse eats the rabbit.
True
1
proof
[(triple4)]
("mouse" "eats" "rabbit" "+")
triple4
The mouse does not chase the cow.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "cow" "-")
triple3
The rabbit chases the mouse.
True
2
proof
[(((triple8) -> rule6))]
("rabbit" "chases" "mouse" "+")
((triple8) -> (rule6 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The cow is not red.
False
3
inv-proof
[(((triple1 triple11) -> rule4))]
("cow" "is" "red" "-")
((triple1 triple11) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow chases the mouse.
True
4
proof
[(((((triple1 triple11) -> rule4)) -> rule6))]
("cow" "chases" "mouse" "+")
((((triple1 triple11) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The cow does not chase the mouse.
False
4
inv-proof
[(((((triple1 triple11) -> rule4)) -> rule6))]
("cow" "chases" "mouse" "-")
((((triple1 triple11) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The squirrel chases the rabbit.
True
6
proof
[(((triple12 ((((triple1 triple11) -> rule4)) -> rule6)) -> rule3))]
("squirrel" "chases" "rabbit" "+")
((triple12 ((((triple1 triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The squirrel does not chase the rabbit.
False
6
inv-proof
[(((triple12 ((((triple1 triple11) -> rule4)) -> rule6)) -> rule3))]
("squirrel" "chases" "rabbit" "-")
((triple12 ((((triple1 triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "red" "-")
The squirrel is red.
Unknown
rconc
[@1: The squirrel is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "red" "+")
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The mouse is cold.
Unknown
rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "cold" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The squirrel does not chase the cow.
Unknown
inv-random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "-")
The cow needs the mouse.
Unknown
random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "+")
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The mouse chases the cow.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse needs the rabbit.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is red.[(triple8)] The rabbit is rough.[(triple9)] The rabbit needs the mouse.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel eats the cow.[(triple12)] @1: The cow is red.[(((triple1 triple11) -> rule4))] The rabbit chases the mouse.[(((triple8) -> rule6))] @2: The cow chases the mouse.[(((((triple1 triple11) -> rule4)) -> rule6))] @3: The squirrel chases the rabbit.[(((triple12 ((((triple1 triple11) -> rule4)) -> rule6)) -> rule3))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple4
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple5
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple11
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple12
The cow is red.
("cow" "is" "red" "+")
((triple1 triple11) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple8) -> (rule6 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
((((triple1 triple11) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The cow is red.
("cow" "is" "red" "+")
int2
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
((triple12 ((((triple1 triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow is red.
("cow" "is" "red" "+")
int3