The bald eagle chases the cat. The bald eagle is blue. The bald eagle likes the squirrel. The cat chases the bald eagle. The cat is blue. The cat is nice. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel eats the bald eagle. The squirrel eats the cat. If the squirrel likes the bald eagle and the bald eagle is rough then the squirrel chases the cat. If someone eats the cat and the cat eats the bald eagle then the cat is nice. If someone eats the bald eagle then the bald eagle chases the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
If the squirrel likes the bald eagle and the bald eagle is rough then the squirrel chases the cat.
((("squirrel" "likes" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("squirrel" "chases" "cat" "+"))
If someone eats the cat and the cat eats the bald eagle then the cat is nice.
((("someone" "eats" "cat" "+") ("cat" "eats" "bald eagle" "+")) -> ("cat" "is" "nice" "+"))
If someone eats the bald eagle then the bald eagle chases the cat.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1 OR ((triple9) -> rule3))]
("bald eagle" "chases" "cat" "+")
triple1
((triple9) -> (rule3 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle does not like the squirrel.
False
1
inv-proof
[(triple3)]
("bald eagle" "likes" "squirrel" "-")
triple3
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel likes the cat.
Unknown
random
[@0: The squirrel likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cat" "+")
@0: The bald eagle chases the cat.[(triple1 OR ((triple9) -> rule3))] The bald eagle is blue.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat is blue.[(triple5)] The cat is nice.[(triple6)] The squirrel chases the bald eagle.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the cat.[(triple10)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
((triple9) -> (rule3 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple10