The bald eagle chases the squirrel. The bald eagle likes the squirrel. The dog does not chase the bald eagle. The dog chases the squirrel. The dog likes the bald eagle. The dog does not like the squirrel. The squirrel chases the dog. If someone likes the bald eagle then the bald eagle chases the dog. If someone visits the squirrel then they chase the bald eagle. If someone likes the squirrel and the squirrel chases the bald eagle then they chase the bald eagle. If someone visits the bald eagle and the bald eagle is cold then the bald eagle likes the dog. If someone visits the bald eagle and they chase the squirrel then the squirrel does not chase the dog. If someone likes the dog then they visit the squirrel.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
If someone likes the bald eagle then the bald eagle chases the dog.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If someone visits the squirrel then they chase the bald eagle.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone likes the squirrel and the squirrel chases the bald eagle then they chase the bald eagle.
((("someone" "likes" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone visits the bald eagle and the bald eagle is cold then the bald eagle likes the dog.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "likes" "dog" "+"))
If someone visits the bald eagle and they chase the squirrel then the squirrel does not chase the dog.
((("someone" "visits" "bald eagle" "+") ("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "dog" "-"))
If someone likes the dog then they visit the squirrel.
((("someone" "likes" "dog" "+")) -> ("someone" "visits" "squirrel" "+"))
The bald eagle likes the squirrel.
True
1
proof
[(triple2)]
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle chases the dog.
True
2
proof
[(((triple5) -> rule1))]
("bald eagle" "chases" "dog" "+")
((triple5) -> (rule1 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle does not chase the dog.
False
2
inv-proof
[(((triple5) -> rule1))]
("bald eagle" "chases" "dog" "-")
((triple5) -> (rule1 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The bald eagle does not visit the squirrel.
Unknown
inv-rconc
[@2: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bald eagle" "visits" "squirrel" "-")
The dog visits the squirrel.
Unknown
rconc
[@1: The dog visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "visits" "squirrel" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The dog chases the squirrel.[(triple4)] The dog does not chase the bald eagle.[(triple3)] The dog does not like the squirrel.[(triple6)] The dog likes the bald eagle.[(triple5)] The squirrel chases the dog.[(triple7)] @1: The bald eagle chases the dog.[(((triple5) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple4
The dog does not chase the bald eagle.
("dog" "chases" "bald eagle" "-")
triple3
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple6
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple7
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((triple5) -> (rule1 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1