The bald eagle eats the squirrel. The bald eagle is not blue. The bald eagle is young. The bald eagle needs the dog. The bald eagle visits the dog. The bear visits the squirrel. The dog eats the bear. The dog eats the squirrel. The dog needs the bald eagle. The dog needs the squirrel. The dog visits the bald eagle. The dog visits the bear. The squirrel eats the bear. The squirrel does not need the dog. The squirrel visits the dog. If the squirrel does not eat the dog then the squirrel needs the bear. If something needs the squirrel then the squirrel is not rough.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If the squirrel does not eat the dog then the squirrel needs the bear.
((("squirrel" "eats" "dog" "~")) -> ("squirrel" "needs" "bear" "+"))
If something needs the squirrel then the squirrel is not rough.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "rough" "-"))
The bald eagle visits the dog.
True
1
proof
[(triple5)]
("bald eagle" "visits" "dog" "+")
triple5
The bear does not visit the squirrel.
False
1
inv-proof
[(triple6)]
("bear" "visits" "squirrel" "-")
triple6
The squirrel is not rough.
True
2
proof
[(((triple10) -> rule2))]
("squirrel" "is" "rough" "-")
((triple10) -> (rule2 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The squirrel is rough.
False
2
inv-proof
[(((triple10) -> rule2))]
("squirrel" "is" "rough" "+")
((triple10) -> (rule2 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The squirrel does not need the bear.
Unknown
inv-rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "bear" "-")
The squirrel visits the bald eagle.
Unknown
random
[@0: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The dog needs the bear.
Unknown
random
[@0: The dog needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bear" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is not blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle visits the dog.[(triple5)] The bear visits the squirrel.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the squirrel.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the squirrel.[(triple10)] The dog visits the bald eagle.[(triple11)] The dog visits the bear.[(triple12)] The squirrel does not need the dog.[(triple14)] The squirrel eats the bear.[(triple13)] The squirrel visits the dog.[(triple15)] @1: The squirrel is not rough.[(((triple10) -> rule2))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple8
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple9
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple10
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple11
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple14
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple13
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple15
The squirrel is not rough.
("squirrel" "is" "rough" "-")
((triple10) -> (rule2 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1