The squirrel eats the tiger. The squirrel likes the tiger. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is nice. The tiger is round. The tiger visits the squirrel. If something is round and it likes the squirrel then it likes the tiger. If the tiger does not like the squirrel then the tiger is nice. If the tiger is blue then the tiger eats the squirrel.
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something is round and it likes the squirrel then it likes the tiger.
((("something" "is" "round" "+") ("something" "likes" "squirrel" "+")) -> ("something" "likes" "tiger" "+"))
If the tiger does not like the squirrel then the tiger is nice.
((("tiger" "likes" "squirrel" "~")) -> ("tiger" "is" "nice" "+"))
If the tiger is blue then the tiger eats the squirrel.
((("tiger" "is" "blue" "+")) -> ("tiger" "eats" "squirrel" "+"))
The squirrel eats the tiger.
True
1
proof
[(triple1)]
("squirrel" "eats" "tiger" "+")
triple1
The tiger does not visit the squirrel.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "squirrel" "-")
triple7
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The squirrel eats the tiger.[(triple1)] The squirrel likes the tiger.[(triple2)] The squirrel visits the tiger.[(triple3)] The tiger eats the squirrel.[(triple4)] The tiger is nice.[(triple5)] The tiger is round.[(triple6)] The tiger visits the squirrel.[(triple7)]
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple2
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple4
The tiger is nice.
("tiger" "is" "nice" "+")
triple5
The tiger is round.
("tiger" "is" "round" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7