The squirrel chases the tiger. The squirrel is blue. The squirrel is green. The squirrel is young. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is blue. If someone chases the tiger and they are blue then they chase the squirrel. If someone is kind then they see the tiger. If someone chases the tiger then the tiger is blue. If the tiger sees the squirrel then the tiger chases the squirrel. If someone sees the tiger then they eat the squirrel. If the tiger chases the squirrel and the tiger sees the squirrel then the squirrel eats the tiger. If someone sees the squirrel then the squirrel eats the tiger. If someone chases the squirrel and they see the tiger then the tiger chases the squirrel.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone chases the tiger and they are blue then they chase the squirrel.
((("someone" "chases" "tiger" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is kind then they see the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "tiger" "+"))
If someone chases the tiger then the tiger is blue.
((("someone" "chases" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If the tiger sees the squirrel then the tiger chases the squirrel.
((("tiger" "sees" "squirrel" "+")) -> ("tiger" "chases" "squirrel" "+"))
If someone sees the tiger then they eat the squirrel.
((("someone" "sees" "tiger" "+")) -> ("someone" "eats" "squirrel" "+"))
If the tiger chases the squirrel and the tiger sees the squirrel then the squirrel eats the tiger.
((("tiger" "chases" "squirrel" "+") ("tiger" "sees" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
If someone sees the squirrel then the squirrel eats the tiger.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "+"))
If someone chases the squirrel and they see the tiger then the tiger chases the squirrel.
((("someone" "chases" "squirrel" "+") ("someone" "sees" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
The squirrel is young.
True
1
proof
[(triple4)]
("squirrel" "is" "young" "+")
triple4
The squirrel is not blue.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "blue" "-")
triple2
The squirrel does not eat the tiger.
Unknown
inv-rconc
[@1: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "tiger" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The squirrel chases the tiger.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is green.[(triple3)] The squirrel is young.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger chases the squirrel.[(triple6 OR ((((triple1 triple2) -> rule1) triple5) -> rule8))] The tiger is blue.[(triple7 OR ((triple1) -> rule3))] @1: The squirrel chases the squirrel.[(((triple1 triple2) -> rule1))] The squirrel eats the squirrel.[(((triple5) -> rule5))]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple2
The squirrel is green.
("squirrel" "is" "green" "+")
triple3
The squirrel is young.
("squirrel" "is" "young" "+")
triple4
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple5
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple6
((((triple1 triple2) -> (rule1 % int2)) triple5) -> (rule8 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
triple7
((triple1) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple1 triple2) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple5) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1