The bald eagle eats the dog. The bald eagle eats the squirrel. The dog is big. The squirrel is not big. The squirrel is not green. The squirrel does not need the bald eagle. The squirrel needs the dog. If something eats the bald eagle and it is not rough then it is not big. If something eats the squirrel and it does not eat the dog then the dog does not need the squirrel. If something eats the dog and it eats the bald eagle then the dog needs the squirrel. If something sees the bald eagle and it eats the bald eagle then it needs the dog. If something is big then it needs the squirrel. If something eats the bald eagle and it is not big then the bald eagle sees the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The squirrel is not big.
("squirrel" "is" "big" "-")
The squirrel is not green.
("squirrel" "is" "green" "-")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If something eats the bald eagle and it is not rough then it is not big.
((("something" "eats" "bald eagle" "+") ("something" "is" "rough" "~")) -> ("something" "is" "big" "-"))
If something eats the squirrel and it does not eat the dog then the dog does not need the squirrel.
((("something" "eats" "squirrel" "+") ("something" "eats" "dog" "~")) -> ("dog" "needs" "squirrel" "-"))
If something eats the dog and it eats the bald eagle then the dog needs the squirrel.
((("something" "eats" "dog" "+") ("something" "eats" "bald eagle" "+")) -> ("dog" "needs" "squirrel" "+"))
If something sees the bald eagle and it eats the bald eagle then it needs the dog.
((("something" "sees" "bald eagle" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "needs" "dog" "+"))
If something is big then it needs the squirrel.
((("something" "is" "big" "+")) -> ("something" "needs" "squirrel" "+"))
If something eats the bald eagle and it is not big then the bald eagle sees the dog.
((("something" "eats" "bald eagle" "+") ("something" "is" "big" "~")) -> ("bald eagle" "sees" "dog" "+"))
The squirrel is not big.
True
1
proof
[(triple4)]
("squirrel" "is" "big" "-")
triple4
The squirrel does not need the dog.
False
1
inv-proof
[(triple7)]
("squirrel" "needs" "dog" "-")
triple7
The dog needs the squirrel.
True
2
proof
[(((triple3) -> rule5))]
("dog" "needs" "squirrel" "+")
((triple3) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The dog does not need the squirrel.
False
2
inv-proof
[(((triple3) -> rule5))]
("dog" "needs" "squirrel" "-")
((triple3) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
The squirrel needs the squirrel.
Unknown
rconc
[@1: The squirrel needs the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "squirrel" "+")
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 bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The dog is big.[(triple3)] The squirrel does not need the bald eagle.[(triple6)] The squirrel is not big.[(triple4)] The squirrel is not green.[(triple5)] The squirrel needs the dog.[(triple7)] @1: The dog needs the squirrel.[(((triple3) -> rule5))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple6
The squirrel is not big.
("squirrel" "is" "big" "-")
triple4
The squirrel is not green.
("squirrel" "is" "green" "-")
triple5
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple7
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((triple3) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1