The cow chases the mouse. The cow chases the tiger. The cow is round. The cow visits the mouse. The mouse chases the tiger. The squirrel chases the mouse. The squirrel eats the cow. The squirrel is cold. The squirrel visits the cow. The tiger eats the cow. The tiger is blue. The tiger visits the squirrel. If someone visits the cow and the cow chases the squirrel then the cow chases the mouse. If someone is round then they eat the squirrel. If someone eats the tiger and they chase the cow then the tiger is round. If someone is big and blue then they visit the tiger. If someone visits the cow and they chase the mouse then they visit the squirrel. If someone visits the squirrel then they chase the squirrel.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone visits the cow and the cow chases the squirrel then the cow chases the mouse.
((("someone" "visits" "cow" "+") ("cow" "chases" "squirrel" "+")) -> ("cow" "chases" "mouse" "+"))
If someone is round then they eat the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the tiger and they chase the cow then the tiger is round.
((("someone" "eats" "tiger" "+") ("someone" "chases" "cow" "+")) -> ("tiger" "is" "round" "+"))
If someone is big and blue then they visit the tiger.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "visits" "tiger" "+"))
If someone visits the cow and they chase the mouse then they visit the squirrel.
((("someone" "visits" "cow" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone visits the squirrel then they chase the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
The squirrel chases the mouse.
True
1
proof
[(triple6)]
("squirrel" "chases" "mouse" "+")
triple6
The mouse does not chase the tiger.
False
1
inv-proof
[(triple5)]
("mouse" "chases" "tiger" "-")
triple5
The tiger chases the squirrel.
True
2
proof
[(((triple12) -> rule6))]
("tiger" "chases" "squirrel" "+")
((triple12) -> (rule6 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The cow does not eat the squirrel.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "eats" "squirrel" "-")
((triple3) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The squirrel chases the squirrel.
True
4
proof
[(((((triple9 triple6) -> rule5)) -> rule6))]
("squirrel" "chases" "squirrel" "+")
((((triple9 triple6) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel does not chase the squirrel.
False
4
inv-proof
[(((((triple9 triple6) -> rule5)) -> rule6))]
("squirrel" "chases" "squirrel" "-")
((((triple9 triple6) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The cow does not chase the squirrel.
Unknown
inv-rconc
[@2: The cow chases the squirrel.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("cow" "chases" "squirrel" "-")
The tiger eats the squirrel.
Unknown
rconc
[@2: The tiger eats the squirrel.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("tiger" "eats" "squirrel" "+")
The cow does not visit the squirrel.
Unknown
inv-rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "visits" "squirrel" "-")
The squirrel chases the tiger.
Unknown
random
[@0: The squirrel chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "tiger" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow chases the mouse.[(triple1)] The cow chases the tiger.[(triple2)] The cow is round.[(triple3)] The cow visits the mouse.[(triple4)] The mouse chases the tiger.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel eats the cow.[(triple7)] The squirrel is cold.[(triple8)] The squirrel visits the cow.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is blue.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The cow eats the squirrel.[(((triple3) -> rule2))] The squirrel visits the squirrel.[(((triple9 triple6) -> rule5))] The tiger chases the squirrel.[(((triple12) -> rule6))] @2: The squirrel chases the squirrel.[(((((triple9 triple6) -> rule5)) -> rule6))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple4
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple5
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple6
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple9
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple12
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
((triple3) -> (rule2 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple9 triple6) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple12) -> (rule6 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((triple9 triple6) -> (rule5 % int2))) -> (rule6 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2