The dog chases the squirrel. The dog is big. The dog is not green. The dog is red. The dog does not see the squirrel. The squirrel chases the dog. The squirrel is green. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel sees the dog. The squirrel visits the dog. If the squirrel visits the dog and the squirrel does not chase the dog then the squirrel is round. If something chases the dog and it is not big then the dog visits the squirrel. If something chases the squirrel and it does not see the squirrel then it is red. If something sees the squirrel and it is not rough then the squirrel visits the dog. If something visits the squirrel and it sees the dog then the squirrel sees the dog. If something is red and it chases the dog then it visits the squirrel. If something is rough and not red then it visits the squirrel. If something sees the dog and the dog does not visit the squirrel then the dog is green.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is red.
("dog" "is" "red" "+")
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If the squirrel visits the dog and the squirrel does not chase the dog then the squirrel is round.
((("squirrel" "visits" "dog" "+") ("squirrel" "chases" "dog" "~")) -> ("squirrel" "is" "round" "+"))
If something chases the dog and it is not big then the dog visits the squirrel.
((("something" "chases" "dog" "+") ("something" "is" "big" "~")) -> ("dog" "visits" "squirrel" "+"))
If something chases the squirrel and it does not see the squirrel then it is red.
((("something" "chases" "squirrel" "+") ("something" "sees" "squirrel" "~")) -> ("something" "is" "red" "+"))
If something sees the squirrel and it is not rough then the squirrel visits the dog.
((("something" "sees" "squirrel" "+") ("something" "is" "rough" "~")) -> ("squirrel" "visits" "dog" "+"))
If something visits the squirrel and it sees the dog then the squirrel sees the dog.
((("something" "visits" "squirrel" "+") ("something" "sees" "dog" "+")) -> ("squirrel" "sees" "dog" "+"))
If something is red and it chases the dog then it visits the squirrel.
((("something" "is" "red" "+") ("something" "chases" "dog" "+")) -> ("something" "visits" "squirrel" "+"))
If something is rough and not red then it visits the squirrel.
((("something" "is" "rough" "+") ("something" "is" "red" "~")) -> ("something" "visits" "squirrel" "+"))
If something sees the dog and the dog does not visit the squirrel then the dog is green.
((("something" "sees" "dog" "+") ("dog" "visits" "squirrel" "~")) -> ("dog" "is" "green" "+"))
The squirrel is green.
True
1
proof
[(triple7)]
("squirrel" "is" "green" "+")
triple7
The dog is green.
False
1
inv-proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The squirrel visits the squirrel.
True
3
proof
[(((triple8 triple6) -> rule6))]
("squirrel" "visits" "squirrel" "+")
((triple8 triple6) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
3
inv-proof
[(((triple8 triple6) -> rule6))]
("squirrel" "visits" "squirrel" "-")
((triple8 triple6) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The dog does not visit the squirrel.
Unknown
inv-rconc
[@1: The dog visits the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "squirrel" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The dog chases the squirrel.[(triple1)] The dog does not see the squirrel.[(triple5)] The dog is big.[(triple2)] The dog is not green.[(triple3)] The dog is red.[(triple4 OR ((triple1 triple5) -> rule3))] The squirrel chases the dog.[(triple6)] The squirrel is green.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The squirrel visits the squirrel.[(((triple8 triple6) -> rule6))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
triple5
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is not green.
("dog" "is" "green" "-")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
((triple1 triple5) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is red.
("squirrel" "is" "red" "+")
triple8
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple8 triple6) -> (rule6 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1