The squirrel chases the tiger. The squirrel is red. The squirrel likes the tiger. The squirrel needs the tiger. The tiger chases the squirrel. The tiger likes the squirrel. The tiger needs the squirrel. If something is big then it chases the squirrel. If something needs the squirrel then the squirrel chases the tiger. If something is red and it needs the squirrel then the squirrel likes the tiger.
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something is big then it chases the squirrel.
((("something" "is" "big" "+")) -> ("something" "chases" "squirrel" "+"))
If something needs the squirrel then the squirrel chases the tiger.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "chases" "tiger" "+"))
If something is red and it needs the squirrel then the squirrel likes the tiger.
((("something" "is" "red" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "tiger" "+"))
The tiger chases the squirrel.
True
1
proof
[(triple5)]
("tiger" "chases" "squirrel" "+")
triple5
The squirrel does not like the tiger.
False
1
inv-proof
[(triple3)]
("squirrel" "likes" "tiger" "-")
triple3
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
@0: The squirrel chases the tiger.[(triple1 OR ((triple7) -> rule2))] The squirrel is red.[(triple2)] The squirrel likes the tiger.[(triple3)] The squirrel needs the tiger.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger needs the squirrel.[(triple7)]
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple1
((triple7) -> (rule2 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
triple2
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple3
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple5
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple6
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple7