The bear eats the lion. The bear eats the rabbit. The bear eats the squirrel. The bear visits the rabbit. The lion is cold. The lion sees the bear. The rabbit eats the squirrel. The rabbit sees the lion. The rabbit visits the lion. The squirrel eats the bear. The squirrel is green. The squirrel visits the lion. If the squirrel visits the lion then the lion eats the bear. If the rabbit visits the squirrel and the rabbit eats the bear then the rabbit sees the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If the squirrel visits the lion then the lion eats the bear.
((("squirrel" "visits" "lion" "+")) -> ("lion" "eats" "bear" "+"))
If the rabbit visits the squirrel and the rabbit eats the bear then the rabbit sees the lion.
((("rabbit" "visits" "squirrel" "+") ("rabbit" "eats" "bear" "+")) -> ("rabbit" "sees" "lion" "+"))
The lion is cold.
True
1
proof
[(triple5)]
("lion" "is" "cold" "+")
triple5
The squirrel does not visit the lion.
False
1
inv-proof
[(triple12)]
("squirrel" "visits" "lion" "-")
triple12
The rabbit does not visit the bear.
Unknown
inv-random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bear eats the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear eats the squirrel.[(triple3)] The bear visits the rabbit.[(triple4)] The lion is cold.[(triple5)] The lion sees the bear.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit sees the lion.[(triple8)] The rabbit visits the lion.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is green.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The lion eats the bear.[(((triple12) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion sees the bear.
("lion" "sees" "bear" "+")
triple6
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple7
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple8
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple9
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple12
The lion eats the bear.
("lion" "eats" "bear" "+")
((triple12) -> (rule1 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1