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