The bear needs the rabbit. The bear visits the squirrel. The dog eats the squirrel. The dog is cold. The dog needs the bear. The dog visits the rabbit. The dog visits the squirrel. The rabbit eats the bear. The rabbit eats the dog. The rabbit visits the squirrel. The squirrel eats the dog. The squirrel needs the dog. If the dog needs the bear then the bear is kind.
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If the dog needs the bear then the bear is kind.
((("dog" "needs" "bear" "+")) -> ("bear" "is" "kind" "+"))
The rabbit eats the dog.
True
1
proof
[(triple9)]
("rabbit" "eats" "dog" "+")
triple9
The dog does not visit the rabbit.
False
1
inv-proof
[(triple6)]
("dog" "visits" "rabbit" "-")
triple6
The bear is kind.
True
2
proof
[(((triple5) -> rule1))]
("bear" "is" "kind" "+")
((triple5) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "is" "kind" "-")
((triple5) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The rabbit visits the dog.
Unknown
random
[@0: The rabbit visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "dog" "+")
The squirrel does not visit the rabbit.
Unknown
inv-random
[@0: The squirrel visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "rabbit" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear needs the rabbit.[(triple1)] The bear visits the squirrel.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is cold.[(triple4)] The dog needs the bear.[(triple5)] The dog visits the rabbit.[(triple6)] The dog visits the squirrel.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel needs the dog.[(triple12)] @1: The bear is kind.[(((triple5) -> rule1))]
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog needs the bear.
("dog" "needs" "bear" "+")
triple5
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple6
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple7
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple8
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple9
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple12
The bear is kind.
("bear" "is" "kind" "+")
((triple5) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1