The bald eagle chases the dog. The bald eagle is not green. The bald eagle is not round. The bald eagle likes the dog. The dog chases the squirrel. The dog is green. The dog is red. The dog does not like the bald eagle. The dog needs the squirrel. The rabbit does not chase the squirrel. The rabbit is round. The rabbit likes the squirrel. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel is nice. The squirrel needs the dog. If someone needs the dog then they need the rabbit. If someone likes the dog then they need the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If someone needs the dog then they need the rabbit.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone likes the dog then they need the dog.
((("someone" "likes" "dog" "+")) -> ("someone" "needs" "dog" "+"))
The squirrel is nice.
True
1
proof
[(triple15)]
("squirrel" "is" "nice" "+")
triple15
The bald eagle is green.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "green" "+")
triple2
The bald eagle needs the dog.
True
2
proof
[(((triple4) -> rule2))]
("bald eagle" "needs" "dog" "+")
((triple4) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The squirrel does not need the rabbit.
False
2
inv-proof
[(((triple16) -> rule1))]
("squirrel" "needs" "rabbit" "-")
((triple16) -> (rule1 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bald eagle needs the rabbit.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("bald eagle" "needs" "rabbit" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle does not need the rabbit.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("bald eagle" "needs" "rabbit" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The dog does not need the rabbit.
Unknown
inv-rconc
[@2: The dog needs the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "needs" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
rconc
[@2: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit does not need the dog.
Unknown
inv-rconc
[@1: The rabbit needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "dog" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle likes the dog.[(triple4)] The dog chases the squirrel.[(triple5)] The dog does not like the bald eagle.[(triple8)] The dog is green.[(triple6)] The dog is red.[(triple7)] The dog needs the squirrel.[(triple9)] The rabbit does not chase the squirrel.[(triple10)] The rabbit is round.[(triple11)] The rabbit likes the squirrel.[(triple12)] The squirrel chases the dog.[(triple13)] The squirrel chases the rabbit.[(triple14)] The squirrel is nice.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The bald eagle needs the dog.[(((triple4) -> rule2))] The squirrel needs the rabbit.[(((triple16) -> rule1))] @2: The bald eagle needs the rabbit.[(((((triple4) -> rule2)) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple4
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple5
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
triple8
The dog is green.
("dog" "is" "green" "+")
triple6
The dog is red.
("dog" "is" "red" "+")
triple7
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple9
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple10
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple12
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple13
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple15
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple16
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple4) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
((triple16) -> (rule1 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2