The bear eats the squirrel. The bear is big. The bear visits the cat. The bear visits the mouse. The bear visits the squirrel. The cat eats the squirrel. The cat visits the squirrel. The mouse needs the cat. The squirrel eats the cat. The squirrel is red. The squirrel visits the bear. The squirrel visits the cat. If someone visits the squirrel and they eat the squirrel then they visit the cat.
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone visits the squirrel and they eat the squirrel then they visit the cat.
((("someone" "visits" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "visits" "cat" "+"))
The bear visits the squirrel.
True
1
proof
[(triple5)]
("bear" "visits" "squirrel" "+")
triple5
The bear does not visit the cat.
False
1
inv-proof
[(triple3 OR ((triple5 triple1) -> rule1))]
("bear" "visits" "cat" "-")
triple3
((triple5 triple1) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The cat visits the cat.
True
3
proof
[(((triple7 triple6) -> rule1))]
("cat" "visits" "cat" "+")
((triple7 triple6) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat does not visit the cat.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("cat" "visits" "cat" "-")
((triple7 triple6) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The mouse does not visit the cat.
Unknown
inv-rconc
[@1: The mouse visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "cat" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
The cat does not visit the mouse.
Unknown
inv-random
[@0: The cat visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "mouse" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2)] The bear visits the cat.[(triple3 OR ((triple5 triple1) -> rule1))] The bear visits the mouse.[(triple4)] The bear visits the squirrel.[(triple5)] The cat eats the squirrel.[(triple6)] The cat visits the squirrel.[(triple7)] The mouse needs the cat.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is red.[(triple10)] The squirrel visits the bear.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The cat visits the cat.[(((triple7 triple6) -> rule1))]
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear visits the cat.
("bear" "visits" "cat" "+")
triple3
((triple5 triple1) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple8
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple11
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple12
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple7 triple6) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1