The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle is cold. The bald eagle likes the squirrel. The bald eagle needs the dog. The bald eagle needs the squirrel. The dog chases the bald eagle. The dog chases the squirrel. The dog is big. The dog likes the bald eagle. The dog needs the bald eagle. The squirrel chases the bald eagle. The squirrel is cold. The squirrel is round. The squirrel needs the bald eagle. If someone chases the squirrel then they are cold.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone chases the squirrel then they are cold.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "cold" "+"))
The dog likes the bald eagle.
True
1
proof
[(triple11)]
("dog" "likes" "bald eagle" "+")
triple11
The bald eagle does not need the dog.
False
1
inv-proof
[(triple6)]
("bald eagle" "needs" "dog" "-")
triple6
The squirrel does not need the dog.
Unknown
inv-random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4 OR ((triple2) -> rule1))] The bald eagle likes the squirrel.[(triple5)] The bald eagle needs the dog.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog chases the squirrel.[(triple9)] The dog is big.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog needs the bald eagle.[(triple12)] The squirrel chases the bald eagle.[(triple13)] The squirrel is cold.[(triple14)] The squirrel is round.[(triple15)] The squirrel needs the bald eagle.[(triple16)] @1: The dog is cold.[(((triple9) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
((triple2) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple5
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple6
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple7
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple8
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple9
The dog is big.
("dog" "is" "big" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple11
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple12
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple13
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel is round.
("squirrel" "is" "round" "+")
triple15
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple16
The dog is cold.
("dog" "is" "cold" "+")
((triple9) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1