The bear is big. The bear is cold. The bear visits the dog. The cat is big. The cat needs the bear. The cat needs the squirrel. The dog eats the bear. The dog is nice. The dog needs the squirrel. The squirrel is nice. If someone is rough and they need the dog then the dog eats the bear. If someone eats the squirrel and the squirrel needs the cat then the cat visits the bear. If someone is cold then they eat the dog. If the squirrel is green then the squirrel eats the dog. If someone eats the cat and they are cold then the cat is rough. If someone visits the dog and they are nice then the dog eats the cat. If someone eats the bear then they need the squirrel. If someone needs the cat then the cat needs the squirrel.
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The cat is big.
("cat" "is" "big" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone is rough and they need the dog then the dog eats the bear.
((("someone" "is" "rough" "+") ("someone" "needs" "dog" "+")) -> ("dog" "eats" "bear" "+"))
If someone eats the squirrel and the squirrel needs the cat then the cat visits the bear.
((("someone" "eats" "squirrel" "+") ("squirrel" "needs" "cat" "+")) -> ("cat" "visits" "bear" "+"))
If someone is cold then they eat the dog.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "dog" "+"))
If the squirrel is green then the squirrel eats the dog.
((("squirrel" "is" "green" "+")) -> ("squirrel" "eats" "dog" "+"))
If someone eats the cat and they are cold then the cat is rough.
((("someone" "eats" "cat" "+") ("someone" "is" "cold" "+")) -> ("cat" "is" "rough" "+"))
If someone visits the dog and they are nice then the dog eats the cat.
((("someone" "visits" "dog" "+") ("someone" "is" "nice" "+")) -> ("dog" "eats" "cat" "+"))
If someone eats the bear then they need the squirrel.
((("someone" "eats" "bear" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone needs the cat then the cat needs the squirrel.
((("someone" "needs" "cat" "+")) -> ("cat" "needs" "squirrel" "+"))
The cat needs the bear.
True
1
proof
[(triple5)]
("cat" "needs" "bear" "+")
triple5
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear eats the dog.
True
2
proof
[(((triple2) -> rule3))]
("bear" "eats" "dog" "+")
((triple2) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear does not eat the dog.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "eats" "dog" "-")
((triple2) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "dog" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "rough" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat visits the squirrel.
Unknown
random
[@0: The cat visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "squirrel" "+")
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear visits the dog.[(triple3)] The cat is big.[(triple4)] The cat needs the bear.[(triple5)] The cat needs the squirrel.[(triple6)] The dog eats the bear.[(triple7)] The dog is nice.[(triple8)] The dog needs the squirrel.[(triple9 OR ((triple7) -> rule7))] The squirrel is nice.[(triple10)] @1: The bear eats the dog.[(((triple2) -> rule3))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat needs the bear.
("cat" "needs" "bear" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple9
((triple7) -> (rule7 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The bear eats the dog.
("bear" "eats" "dog" "+")
((triple2) -> (rule3 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1