The bald eagle is round. The bald eagle sees the squirrel. The bald eagle sees the tiger. The cat chases the bald eagle. The cat chases the squirrel. The cat sees the squirrel. The squirrel is kind. The squirrel is round. The squirrel sees the cat. The squirrel sees the tiger. The squirrel visits the bald eagle. The tiger chases the squirrel. The tiger sees the bald eagle. The tiger sees the cat. The tiger visits the bald eagle. The tiger visits the cat. If the squirrel sees the tiger and the squirrel chases the cat then the tiger sees the bald eagle. If something sees the cat then the cat sees the tiger. If something chases the tiger then the tiger visits the cat.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If the squirrel sees the tiger and the squirrel chases the cat then the tiger sees the bald eagle.
((("squirrel" "sees" "tiger" "+") ("squirrel" "chases" "cat" "+")) -> ("tiger" "sees" "bald eagle" "+"))
If something sees the cat then the cat sees the tiger.
((("something" "sees" "cat" "+")) -> ("cat" "sees" "tiger" "+"))
If something chases the tiger then the tiger visits the cat.
((("something" "chases" "tiger" "+")) -> ("tiger" "visits" "cat" "+"))
The tiger visits the bald eagle.
True
1
proof
[(triple15)]
("tiger" "visits" "bald eagle" "+")
triple15
The bald eagle does not see the squirrel.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "squirrel" "-")
triple2
The cat sees the tiger.
True
2
proof
[(((triple14) -> rule2) OR ((triple9) -> rule2))]
("cat" "sees" "tiger" "+")
((triple14) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple9) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The cat does not see the tiger.
False
2
inv-proof
[(((triple14) -> rule2) OR ((triple9) -> rule2))]
("cat" "sees" "tiger" "-")
((triple14) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple9) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle visits the squirrel.
Unknown
random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The bald eagle sees the tiger.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the squirrel.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel is kind.[(triple7)] The squirrel is round.[(triple8)] The squirrel sees the cat.[(triple9)] The squirrel sees the tiger.[(triple10)] The squirrel visits the bald eagle.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the cat.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat sees the tiger.[(((triple14) -> rule2) OR ((triple9) -> rule2))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple9
The squirrel sees the tiger.
("squirrel" "sees" "tiger" "+")
triple10
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple11
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple12
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple13
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple14
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The cat sees the tiger.
("cat" "sees" "tiger" "+")
((triple14) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
((triple9) -> (rule2 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1