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