The dog chases the squirrel. The dog is not blue. The dog is green. The dog is nice. The dog is red. The dog is rough. The dog does not need the squirrel. The dog does not visit the squirrel. The squirrel chases the dog. The squirrel is not blue. The squirrel is green. The squirrel is not nice. The squirrel is red. The squirrel is rough. The squirrel needs the dog. The squirrel visits the dog. If someone needs the dog and they are green then they need the squirrel. If someone needs the squirrel then they are green. If someone needs the squirrel and the squirrel is not nice then they chase the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone needs the dog and they are green then they need the squirrel.
((("someone" "needs" "dog" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone needs the squirrel then they are green.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "green" "+"))
If someone needs the squirrel and the squirrel is not nice then they chase the dog.
((("someone" "needs" "squirrel" "+") ("squirrel" "is" "nice" "~")) -> ("someone" "chases" "dog" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The squirrel does not visit the dog.
False
1
inv-proof
[(triple16)]
("squirrel" "visits" "dog" "-")
triple16
The squirrel needs the squirrel.
True
3
proof
[(((triple15 triple11) -> rule1))]
("squirrel" "needs" "squirrel" "+")
((triple15 triple11) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
3
inv-proof
[(((triple15 triple11) -> rule1))]
("squirrel" "needs" "squirrel" "-")
((triple15 triple11) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "dog" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The dog chases the squirrel.[(triple1)] The dog does not need the squirrel.[(triple7)] The dog does not visit the squirrel.[(triple8)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is not blue.[(triple2)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The squirrel chases the dog.[(triple9 OR ((((triple15 triple11) -> rule1) triple12) -> rule3))] The squirrel is green.[(triple11)] The squirrel is not blue.[(triple10)] The squirrel is not nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The squirrel needs the squirrel.[(((triple15 triple11) -> rule1))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
triple7
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
triple8
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is not blue.
("dog" "is" "blue" "-")
triple2
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple9
((((triple15 triple11) -> (rule1 % int2)) triple12) -> (rule3 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple10
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple14
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple16
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple15 triple11) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1