The bald eagle chases the squirrel. The bald eagle sees the rabbit. The bald eagle sees the tiger. The rabbit sees the squirrel. The squirrel is young. The squirrel sees the tiger. The tiger sees the rabbit. If something sees the tiger then the tiger chases the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something sees the tiger then the tiger chases the squirrel.
((("something" "sees" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
The bald eagle chases the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "squirrel" "-")
triple1
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The bald eagle likes the squirrel.
Unknown
random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle sees the tiger.[(triple3)] The rabbit sees the squirrel.[(triple4)] The squirrel is young.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger sees the rabbit.[(triple7)] @1: The tiger chases the squirrel.[(((triple3) -> rule1) OR ((triple6) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple6
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple7
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
((triple6) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1