The bear eats the dog. The bear needs the dog. The bear needs the squirrel. The bear visits the dog. The dog eats the squirrel. The dog is kind. The dog is rough. The dog needs the bear. The dog visits the bear. The dog visits the squirrel. The squirrel eats the dog. The squirrel is not kind. The squirrel does not need the bear. The squirrel visits the bear. The squirrel visits the dog. If something eats the bear then the bear does not eat the squirrel. If something needs the dog then the dog needs the bear. If something is kind and it needs the squirrel then it visits the bear. If something is young then it does not need the bear. If the squirrel is big and the squirrel does not need the dog then the squirrel is young. If the squirrel eats the dog then the squirrel eats the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something eats the bear then the bear does not eat the squirrel.
((("something" "eats" "bear" "+")) -> ("bear" "eats" "squirrel" "-"))
If something needs the dog then the dog needs the bear.
((("something" "needs" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If something is kind and it needs the squirrel then it visits the bear.
((("something" "is" "kind" "+") ("something" "needs" "squirrel" "+")) -> ("something" "visits" "bear" "+"))
If something is young then it does not need the bear.
((("something" "is" "young" "+")) -> ("something" "needs" "bear" "-"))
If the squirrel is big and the squirrel does not need the dog then the squirrel is young.
((("squirrel" "is" "big" "+") ("squirrel" "needs" "dog" "~")) -> ("squirrel" "is" "young" "+"))
If the squirrel eats the dog then the squirrel eats the bear.
((("squirrel" "eats" "dog" "+")) -> ("squirrel" "eats" "bear" "+"))
The squirrel eats the dog.
True
1
proof
[(triple11)]
("squirrel" "eats" "dog" "+")
triple11
The dog does not visit the squirrel.
False
1
inv-proof
[(triple10)]
("dog" "visits" "squirrel" "-")
triple10
The squirrel eats the bear.
True
2
proof
[(((triple11) -> rule6))]
("squirrel" "eats" "bear" "+")
((triple11) -> (rule6 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel does not eat the bear.
False
2
inv-proof
[(((triple11) -> rule6))]
("squirrel" "eats" "bear" "-")
((triple11) -> (rule6 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear does not eat the squirrel.
True
3
proof
[(((((triple11) -> rule6)) -> rule1))]
("bear" "eats" "squirrel" "-")
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear eats the squirrel.
False
3
inv-proof
[(((((triple11) -> rule6)) -> rule1))]
("bear" "eats" "squirrel" "+")
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bear" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "young" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bear eats the dog.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the squirrel.[(triple3)] The bear visits the dog.[(triple4)] The dog eats the squirrel.[(triple5)] The dog is kind.[(triple6)] The dog is rough.[(triple7)] The dog needs the bear.[(triple8 OR ((triple2) -> rule2))] The dog visits the bear.[(triple9)] The dog visits the squirrel.[(triple10)] The squirrel does not need the bear.[(triple13)] The squirrel eats the dog.[(triple11)] The squirrel is not kind.[(triple12)] The squirrel visits the bear.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The squirrel eats the bear.[(((triple11) -> rule6))] @2: The bear does not eat the squirrel.[(((((triple11) -> rule6)) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog needs the bear.
("dog" "needs" "bear" "+")
triple8
((triple2) -> (rule2 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
triple9
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple10
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple13
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple12
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple14
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
((triple11) -> (rule6 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
int1
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int2