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