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