The bear sees the cow. The cow sees the squirrel. The rabbit chases the bear. The squirrel is round. If the rabbit sees the squirrel then the squirrel is round. If something sees the squirrel then the squirrel visits the cow.
The bear sees the cow.
("bear" "sees" "cow" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If the rabbit sees the squirrel then the squirrel is round.
((("rabbit" "sees" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
If something sees the squirrel then the squirrel visits the cow.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "visits" "cow" "+"))
The bear sees the cow.
True
1
proof
[(triple1)]
("bear" "sees" "cow" "+")
triple1
The squirrel is not round.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "round" "-")
triple4
The squirrel visits the cow.
True
2
proof
[(((triple2) -> rule2))]
("squirrel" "visits" "cow" "+")
((triple2) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel does not visit the cow.
False
2
inv-proof
[(((triple2) -> rule2))]
("squirrel" "visits" "cow" "-")
((triple2) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The bear does not chase the squirrel.
Unknown
inv-random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "squirrel" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
@0: The bear sees the cow.[(triple1)] The cow sees the squirrel.[(triple2)] The rabbit chases the bear.[(triple3)] The squirrel is round.[(triple4)] @1: The squirrel visits the cow.[(((triple2) -> rule2))]
The bear sees the cow.
("bear" "sees" "cow" "+")
triple1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple2) -> (rule2 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1