The dog chases the squirrel. The dog chases the tiger. The dog is red. The dog visits the tiger. The squirrel chases the tiger. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is big. The squirrel is not blue. The squirrel is green. The squirrel is round. The squirrel visits the dog. The squirrel visits the tiger. The tiger chases the squirrel. The tiger does not eat the squirrel. The tiger is blue. If something chases the squirrel then the squirrel eats the tiger.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is red.
("dog" "is" "red" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
If something chases the squirrel then the squirrel eats the tiger.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
The squirrel eats the dog.
True
1
proof
[(triple6)]
("squirrel" "eats" "dog" "+")
triple6
The dog does not visit the tiger.
False
1
inv-proof
[(triple4)]
("dog" "visits" "tiger" "-")
triple4
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The dog chases the squirrel.[(triple1)] The dog chases the tiger.[(triple2)] The dog is red.[(triple3)] The dog visits the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel eats the tiger.[(triple7 OR ((triple1) -> rule1) OR ((triple14) -> rule1))] The squirrel is big.[(triple8)] The squirrel is green.[(triple10)] The squirrel is not blue.[(triple9)] The squirrel is round.[(triple11)] The squirrel visits the dog.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger chases the squirrel.[(triple14)] The tiger does not eat the squirrel.[(triple15)] The tiger is blue.[(triple16)]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
((triple1) -> (rule1 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
((triple14) -> (rule1 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple12
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple13
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple14
The tiger does not eat the squirrel.
("tiger" "eats" "squirrel" "-")
triple15
The tiger is blue.
("tiger" "is" "blue" "+")
triple16