The bear chases the dog. The bear chases the squirrel. The bear is blue. The bear is young. The bear does not need the dog. The bear needs the squirrel. The bear visits the dog. The bear visits the squirrel. The dog chases the bear. The dog needs the bear. The dog does not need the squirrel. The dog visits the bear. The dog visits the squirrel. The squirrel chases the bear. The squirrel is big. The squirrel does not visit the dog. If the bear is young then the bear visits the squirrel. If someone needs the dog then the dog is nice. If someone needs the squirrel then the squirrel needs the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not need the dog.
("bear" "needs" "dog" "-")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
If the bear is young then the bear visits the squirrel.
((("bear" "is" "young" "+")) -> ("bear" "visits" "squirrel" "+"))
If someone needs the dog then the dog is nice.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone needs the squirrel then the squirrel needs the dog.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "dog" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The squirrel does not chase the bear.
False
1
inv-proof
[(triple14)]
("squirrel" "chases" "bear" "-")
triple14
The squirrel needs the dog.
True
2
proof
[(((triple6) -> rule3))]
("squirrel" "needs" "dog" "+")
((triple6) -> (rule3 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The squirrel does not need the dog.
False
2
inv-proof
[(((triple6) -> rule3))]
("squirrel" "needs" "dog" "-")
((triple6) -> (rule3 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The dog is nice.
True
3
proof
[(((((triple6) -> rule3)) -> rule2))]
("dog" "is" "nice" "+")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The dog is not nice.
False
3
inv-proof
[(((((triple6) -> rule3)) -> rule2))]
("dog" "is" "nice" "-")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
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 dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The bear does not need the dog.[(triple5)] The bear is blue.[(triple3)] The bear is young.[(triple4)] The bear needs the squirrel.[(triple6)] The bear visits the dog.[(triple7)] The bear visits the squirrel.[(triple8 OR ((triple4) -> rule1))] The dog chases the bear.[(triple9)] The dog does not need the squirrel.[(triple11)] The dog needs the bear.[(triple10)] The dog visits the bear.[(triple12)] The dog visits the squirrel.[(triple13)] The squirrel chases the bear.[(triple14)] The squirrel does not visit the dog.[(triple16)] The squirrel is big.[(triple15)] @1: The squirrel needs the dog.[(((triple6) -> rule3))] @2: The dog is nice.[(((((triple6) -> rule3)) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The bear does not need the dog.
("bear" "needs" "dog" "-")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple8
((triple4) -> (rule1 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
triple9
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
triple11
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple13
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple14
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
triple16
The squirrel is big.
("squirrel" "is" "big" "+")
triple15
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
((triple6) -> (rule3 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int2