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