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