The cow eats the squirrel. The lion eats the cow. The lion eats the squirrel. The lion likes the tiger. The squirrel eats the cow. The squirrel eats the lion. The squirrel is cold. The tiger is rough. The tiger likes the cow. The tiger sees the cow. If the lion is young and the lion likes the tiger then the tiger eats the cow. If someone likes the tiger then they are cold. If someone eats the lion and they like the tiger then the lion is nice. If someone eats the lion then the lion eats the tiger. If the tiger likes the lion and the tiger likes the cow then the lion eats the cow. If someone is red then they eat the tiger.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If the lion is young and the lion likes the tiger then the tiger eats the cow.
((("lion" "is" "young" "+") ("lion" "likes" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If someone likes the tiger then they are cold.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the lion and they like the tiger then the lion is nice.
((("someone" "eats" "lion" "+") ("someone" "likes" "tiger" "+")) -> ("lion" "is" "nice" "+"))
If someone eats the lion then the lion eats the tiger.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
If the tiger likes the lion and the tiger likes the cow then the lion eats the cow.
((("tiger" "likes" "lion" "+") ("tiger" "likes" "cow" "+")) -> ("lion" "eats" "cow" "+"))
If someone is red then they eat the tiger.
((("someone" "is" "red" "+")) -> ("someone" "eats" "tiger" "+"))
The squirrel is cold.
True
1
proof
[(triple7)]
("squirrel" "is" "cold" "+")
triple7
The tiger is not rough.
False
1
inv-proof
[(triple8)]
("tiger" "is" "rough" "-")
triple8
The tiger does not eat the cow.
Unknown
inv-rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "cow" "-")
The squirrel sees the tiger.
Unknown
random
[@0: The squirrel sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "tiger" "+")
@0: The cow eats the squirrel.[(triple1)] The lion eats the cow.[(triple2)] The lion eats the squirrel.[(triple3)] The lion likes the tiger.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel eats the lion.[(triple6)] The squirrel is cold.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the cow.[(triple9)] The tiger sees the cow.[(triple10)] @1: The lion eats the tiger.[(((triple6) -> rule4))] The lion is cold.[(((triple4) -> rule2))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The lion eats the cow.
("lion" "eats" "cow" "+")
triple2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple3
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple4
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple5
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The tiger is rough.
("tiger" "is" "rough" "+")
triple8
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple9
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple10
The lion eats the tiger.
("lion" "eats" "tiger" "+")
((triple6) -> (rule4 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((triple4) -> (rule2 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1