The cow eats the tiger. The squirrel is big. The tiger sees the cow. If someone eats the squirrel then they chase the squirrel. If someone sees the squirrel then the squirrel sees the cow. If the squirrel chases the tiger and the tiger is round then the squirrel is big. If someone chases the cow and the cow is young then the cow eats the tiger. If the squirrel sees the tiger and the squirrel is not round then the tiger eats the squirrel. If someone is big and they do not eat the tiger then the tiger is big.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone eats the squirrel then they chase the squirrel.
((("someone" "eats" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone sees the squirrel then the squirrel sees the cow.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "sees" "cow" "+"))
If the squirrel chases the tiger and the tiger is round then the squirrel is big.
((("squirrel" "chases" "tiger" "+") ("tiger" "is" "round" "+")) -> ("squirrel" "is" "big" "+"))
If someone chases the cow and the cow is young then the cow eats the tiger.
((("someone" "chases" "cow" "+") ("cow" "is" "young" "+")) -> ("cow" "eats" "tiger" "+"))
If the squirrel sees the tiger and the squirrel is not round then the tiger eats the squirrel.
((("squirrel" "sees" "tiger" "+") ("squirrel" "is" "round" "~")) -> ("tiger" "eats" "squirrel" "+"))
If someone is big and they do not eat the tiger then the tiger is big.
((("someone" "is" "big" "+") ("someone" "eats" "tiger" "~")) -> ("tiger" "is" "big" "+"))
The cow eats the tiger.
True
1
proof
[(triple1)]
("cow" "eats" "tiger" "+")
triple1
The squirrel is not big.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "big" "-")
triple2
The tiger does not chase the squirrel.
Unknown
inv-rconc
[@2: The tiger chases the squirrel.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("tiger" "chases" "squirrel" "-")
The tiger sees the squirrel.
Unknown
random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "+")
@0: The cow eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The tiger sees the cow.[(triple3)]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The squirrel is big.
("squirrel" "is" "big" "+")
triple2
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple3