The bald eagle eats the squirrel. The bald eagle likes the dog. The bald eagle likes the squirrel. The bald eagle needs the dog. The bald eagle needs the squirrel. The dog eats the squirrel. The dog is red. The dog likes the squirrel. The squirrel eats the bald eagle. The squirrel is blue. The squirrel is rough. The squirrel needs the bald eagle. If someone likes the bald eagle and the bald eagle likes the dog then the bald eagle is rough. If the dog is blue then the dog likes the bald eagle. If the bald eagle is rough then the bald eagle needs the squirrel. If someone needs the squirrel then the squirrel needs the bald eagle. If someone eats the bald eagle and the bald eagle needs the squirrel then the squirrel likes the dog. If someone needs the squirrel then they eat the dog. If someone eats the dog and they need the squirrel then they are red. If someone is red and they eat the bald eagle then the bald eagle likes the dog.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
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 eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone likes the bald eagle and the bald eagle likes the dog then the bald eagle is rough.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("bald eagle" "is" "rough" "+"))
If the dog is blue then the dog likes the bald eagle.
((("dog" "is" "blue" "+")) -> ("dog" "likes" "bald eagle" "+"))
If the bald eagle is rough then the bald eagle needs the squirrel.
((("bald eagle" "is" "rough" "+")) -> ("bald eagle" "needs" "squirrel" "+"))
If someone needs the squirrel then the squirrel needs the bald eagle.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone eats the bald eagle and the bald eagle needs the squirrel then the squirrel likes the dog.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If someone needs the squirrel then they eat the dog.
((("someone" "needs" "squirrel" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the dog and they need the squirrel then they are red.
((("someone" "eats" "dog" "+") ("someone" "needs" "squirrel" "+")) -> ("someone" "is" "red" "+"))
If someone is red and they eat the bald eagle then the bald eagle likes the dog.
((("someone" "is" "red" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
The dog likes the squirrel.
True
1
proof
[(triple8)]
("dog" "likes" "squirrel" "+")
triple8
The squirrel is not rough.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "rough" "-")
triple11
The bald eagle eats the dog.
True
2
proof
[(((triple5) -> rule6))]
("bald eagle" "eats" "dog" "+")
((triple5) -> (rule6 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle does not eat the dog.
False
2
inv-proof
[(((triple5) -> rule6))]
("bald eagle" "eats" "dog" "-")
((triple5) -> (rule6 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle is red.
True
4
proof
[(((((triple5) -> rule6) triple5) -> rule7))]
("bald eagle" "is" "red" "+")
((((triple5) -> (rule6 % int2)) triple5) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The bald eagle is not red.
False
4
inv-proof
[(((((triple5) -> rule6) triple5) -> rule7))]
("bald eagle" "is" "red" "-")
((((triple5) -> (rule6 % int2)) triple5) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The bald eagle is not rough.
Unknown
inv-rconc
[@2: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "eats" "dog" "+")
The squirrel does not eat the dog.
Unknown
inv-rconc
[@1: The squirrel eats the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "dog" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog needs the squirrel.
Unknown
random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is red.[(triple7)] The dog likes the squirrel.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bald eagle.[(triple12 OR ((triple5) -> rule4))] @1: The bald eagle eats the dog.[(((triple5) -> rule6))] The squirrel likes the dog.[(((triple9 triple5) -> rule5))] @2: The bald eagle is red.[(((((triple5) -> rule6) triple5) -> rule7))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple5
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple6
The dog is red.
("dog" "is" "red" "+")
triple7
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple8
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple12
((triple5) -> (rule4 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((triple5) -> (rule6 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((triple9 triple5) -> (rule5 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple5) -> (rule6 % int2)) triple5) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2