The bald eagle is rough. The bald eagle likes the rabbit. The bald eagle likes the tiger. The bald eagle needs the dog. The dog is kind. The dog needs the rabbit. The dog visits the bald eagle. The rabbit visits the dog. The rabbit visits the tiger. The tiger is not cold. The tiger is red. The tiger does not need the bald eagle. If someone is kind then they do not like the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
If someone is kind then they do not like the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "bald eagle" "-"))
The rabbit visits the dog.
True
1
proof
[(triple8)]
("rabbit" "visits" "dog" "+")
triple8
The tiger needs the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "bald eagle" "+")
triple12
The dog does not like the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("dog" "likes" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
int1
The dog likes the bald eagle.
False
2
inv-proof
[(((triple5) -> rule1))]
("dog" "likes" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
int1
The bald eagle does not visit the tiger.
Unknown
inv-random
[@0: The bald eagle visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "tiger" "-")
The tiger needs the dog.
Unknown
random
[@0: The tiger needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "dog" "+")
The tiger does not need the rabbit.
Unknown
inv-random
[@0: The tiger needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "rabbit" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the dog.[(triple4)] The dog is kind.[(triple5)] The dog needs the rabbit.[(triple6)] The dog visits the bald eagle.[(triple7)] The rabbit visits the dog.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger does not need the bald eagle.[(triple12)] The tiger is not cold.[(triple10)] The tiger is red.[(triple11)] @1: The dog does not like the bald eagle.[(((triple5) -> rule1))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple6
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple7
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple8
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple9
The tiger does not need the bald eagle.
("tiger" "needs" "bald eagle" "-")
triple12
The tiger is not cold.
("tiger" "is" "cold" "-")
triple10
The tiger is red.
("tiger" "is" "red" "+")
triple11
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
((triple5) -> (rule1 % int1))
The dog does not like the bald eagle.
("dog" "likes" "bald eagle" "-")
int1