The cow sees the squirrel. The cow visits the squirrel. The cow visits the tiger. The dog sees the cow. The squirrel eats the cow. The squirrel visits the dog. The tiger eats the cow. The tiger is blue. The tiger is young. The tiger sees the squirrel. If someone eats the squirrel and the squirrel is nice then the squirrel is blue. If someone is green and they see the squirrel then the squirrel eats the dog. If someone sees the tiger and the tiger eats the squirrel then the squirrel visits the dog. If someone eats the squirrel then they eat the tiger. If someone sees the cow then they see the dog. If someone visits the tiger then the tiger is big. If someone sees the dog and the dog sees the cow then they see the cow. If someone visits the cow then the cow is young.
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone eats the squirrel and the squirrel is nice then the squirrel is blue.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "is" "blue" "+"))
If someone is green and they see the squirrel then the squirrel eats the dog.
((("someone" "is" "green" "+") ("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "dog" "+"))
If someone sees the tiger and the tiger eats the squirrel then the squirrel visits the dog.
((("someone" "sees" "tiger" "+") ("tiger" "eats" "squirrel" "+")) -> ("squirrel" "visits" "dog" "+"))
If someone eats the squirrel then they eat the tiger.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "tiger" "+"))
If someone sees the cow then they see the dog.
((("someone" "sees" "cow" "+")) -> ("someone" "sees" "dog" "+"))
If someone visits the tiger then the tiger is big.
((("someone" "visits" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If someone sees the dog and the dog sees the cow then they see the cow.
((("someone" "sees" "dog" "+") ("dog" "sees" "cow" "+")) -> ("someone" "sees" "cow" "+"))
If someone visits the cow then the cow is young.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "young" "+"))
The tiger is blue.
True
1
proof
[(triple8)]
("tiger" "is" "blue" "+")
triple8
The cow does not visit the squirrel.
False
1
inv-proof
[(triple2)]
("cow" "visits" "squirrel" "-")
triple2
The squirrel does not eat the dog.
Unknown
inv-rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The tiger eats the squirrel.
Unknown
random
[@0: The tiger eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "squirrel" "+")
@0: The cow sees the squirrel.[(triple1)] The cow visits the squirrel.[(triple2)] The cow visits the tiger.[(triple3)] The dog sees the cow.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel visits the dog.[(triple6)] The tiger eats the cow.[(triple7)] The tiger is blue.[(triple8)] The tiger is young.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The dog sees the dog.[(((triple4) -> rule5))] The tiger is big.[(((triple3) -> rule6))]
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple1
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple3
The dog sees the cow.
("dog" "sees" "cow" "+")
triple4
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple5
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple6
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple10
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple4) -> (rule5 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
((triple3) -> (rule6 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1