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