The cow eats the lion. The cow sees the lion. The cow sees the squirrel. The cow sees the tiger. The lion eats the cow. The lion sees the tiger. The lion visits the cow. The squirrel eats the cow. The squirrel visits the cow. The squirrel visits the tiger. The tiger sees the lion. The tiger visits the lion. If the tiger eats the squirrel and the squirrel visits the cow then the tiger sees the squirrel.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The cow sees the tiger.
("cow" "sees" "tiger" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If the tiger eats the squirrel and the squirrel visits the cow then the tiger sees the squirrel.
((("tiger" "eats" "squirrel" "+") ("squirrel" "visits" "cow" "+")) -> ("tiger" "sees" "squirrel" "+"))
The cow sees the tiger.
True
1
proof
[(triple4)]
("cow" "sees" "tiger" "+")
triple4
The lion does not see the tiger.
False
1
inv-proof
[(triple6)]
("lion" "sees" "tiger" "-")
triple6
The tiger does not see the squirrel.
Unknown
inv-rconc
[@1: The tiger sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "squirrel" "-")
The cow visits the lion.
Unknown
random
[@0: The cow visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "lion" "+")
@0: The cow eats the lion.[(triple1)] The cow sees the lion.[(triple2)] The cow sees the squirrel.[(triple3)] The cow sees the tiger.[(triple4)] The lion eats the cow.[(triple5)] The lion sees the tiger.[(triple6)] The lion visits the cow.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel visits the cow.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the lion.[(triple12)]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow sees the lion.
("cow" "sees" "lion" "+")
triple2
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple3
The cow sees the tiger.
("cow" "sees" "tiger" "+")
triple4
The lion eats the cow.
("lion" "eats" "cow" "+")
triple5
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple6
The lion visits the cow.
("lion" "visits" "cow" "+")
triple7
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple8
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple9
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple10
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple11
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple12