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