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