The bald eagle chases the squirrel. The bald eagle needs the dog. The dog is cold. The dog likes the squirrel. The dog needs the bald eagle. The dog needs the rabbit. The rabbit chases the squirrel. The rabbit is big. The rabbit needs the dog. The squirrel chases the rabbit. If someone chases the squirrel and they need the rabbit then they like the dog. If someone chases the dog then they need the squirrel. If someone is green then they like the bald eagle. If someone likes the squirrel then the squirrel likes the dog. If someone is cold and round then they like the rabbit. If someone is big and they chase the rabbit then the rabbit is big.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
If someone chases the squirrel and they need the rabbit then they like the dog.
((("someone" "chases" "squirrel" "+") ("someone" "needs" "rabbit" "+")) -> ("someone" "likes" "dog" "+"))
If someone chases the dog then they need the squirrel.
((("someone" "chases" "dog" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is green then they like the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the squirrel then the squirrel likes the dog.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "dog" "+"))
If someone is cold and round then they like the rabbit.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is big and they chase the rabbit then the rabbit is big.
((("someone" "is" "big" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
The dog likes the squirrel.
True
1
proof
[(triple4)]
("dog" "likes" "squirrel" "+")
triple4
The squirrel does not chase the rabbit.
False
1
inv-proof
[(triple10)]
("squirrel" "chases" "rabbit" "-")
triple10
The squirrel likes the dog.
True
2
proof
[(((triple4) -> rule4))]
("squirrel" "likes" "dog" "+")
((triple4) -> (rule4 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The squirrel does not like the dog.
False
2
inv-proof
[(((triple4) -> rule4))]
("squirrel" "likes" "dog" "-")
((triple4) -> (rule4 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1
The bald eagle does not need the squirrel.
Unknown
inv-rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The squirrel needs the rabbit.
Unknown
random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle needs the dog.[(triple2)] The dog is cold.[(triple3)] The dog likes the squirrel.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog needs the rabbit.[(triple6)] The rabbit chases the squirrel.[(triple7)] The rabbit is big.[(triple8)] The rabbit needs the dog.[(triple9)] The squirrel chases the rabbit.[(triple10)] @1: The squirrel likes the dog.[(((triple4) -> rule4))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple5
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple9
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple10
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
((triple4) -> (rule4 % int1))
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
int1