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