The bald eagle chases the squirrel. The bald eagle is round. The bald eagle likes the cat. The bald eagle needs the cat. The bald eagle needs the squirrel. The cat chases the squirrel. The cat is big. The cat likes the bald eagle. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel is rough. The squirrel is round. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel needs the cat. Rough things are big. If something chases the cat and the cat needs the bald eagle then the cat needs the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something chases the cat and the cat needs the bald eagle then the cat needs the squirrel.
((("something" "chases" "cat" "+") ("cat" "needs" "bald eagle" "+")) -> ("cat" "needs" "squirrel" "+"))
The bald eagle needs the cat.
True
1
proof
[(triple4)]
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle does not need the cat.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "cat" "-")
triple4
The squirrel is big.
True
2
proof
[(((triple11) -> rule1))]
("squirrel" "is" "big" "+")
((triple11) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple11) -> rule1))]
("squirrel" "is" "big" "-")
((triple11) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The cat does not need the squirrel.
Unknown
inv-rconc
[@1: The cat needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "needs" "squirrel" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle needs the cat.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The cat chases the squirrel.[(triple6)] The cat is big.[(triple7)] The cat likes the bald eagle.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel needs the bald eagle.[(triple14)] The squirrel needs the cat.[(triple15)] @1: The squirrel is big.[(((triple11) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple5
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple13
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple14
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple15
The squirrel is big.
("squirrel" "is" "big" "+")
((triple11) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1