The bald eagle is blue. The bald eagle is red. The bald eagle likes the dog. The bald eagle likes the tiger. The bald eagle does not see the dog. The dog is round. The dog is young. The dog likes the squirrel. The dog likes the tiger. The dog needs the squirrel. The squirrel needs the bald eagle. The squirrel needs the dog. The squirrel needs the tiger. The tiger is not young. The tiger needs the dog. If the dog likes the bald eagle and the bald eagle likes the tiger then the tiger likes the dog. If something likes the squirrel and it is round then the squirrel is round. If the tiger likes the bald eagle then the tiger is not round. If something needs the dog then it needs the tiger. All cold, young things are round. If something needs the dog and it is blue then it is red. If something sees the dog then the dog does not see the bald eagle. If something sees the bald eagle then the bald eagle sees the dog.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If the dog likes the bald eagle and the bald eagle likes the tiger then the tiger likes the dog.
((("dog" "likes" "bald eagle" "+") ("bald eagle" "likes" "tiger" "+")) -> ("tiger" "likes" "dog" "+"))
If something likes the squirrel and it is round then the squirrel is round.
((("something" "likes" "squirrel" "+") ("something" "is" "round" "+")) -> ("squirrel" "is" "round" "+"))
If the tiger likes the bald eagle then the tiger is not round.
((("tiger" "likes" "bald eagle" "+")) -> ("tiger" "is" "round" "-"))
If something needs the dog then it needs the tiger.
((("something" "needs" "dog" "+")) -> ("something" "needs" "tiger" "+"))
All cold, young things are round.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
If something needs the dog and it is blue then it is red.
((("something" "needs" "dog" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something sees the dog then the dog does not see the bald eagle.
((("something" "sees" "dog" "+")) -> ("dog" "sees" "bald eagle" "-"))
If something sees the bald eagle then the bald eagle sees the dog.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
The tiger is not young.
True
1
proof
[(triple14)]
("tiger" "is" "young" "-")
triple14
The dog does not like the tiger.
False
1
inv-proof
[(triple9)]
("dog" "likes" "tiger" "-")
triple9
The squirrel is round.
True
3
proof
[(((triple8 triple6) -> rule2))]
("squirrel" "is" "round" "+")
((triple8 triple6) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The tiger does not need the tiger.
False
2
inv-proof
[(((triple15) -> rule4))]
("tiger" "needs" "tiger" "-")
((triple15) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "round" "-")
The bald eagle is round.
Unknown
rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "round" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The bald eagle does not see the dog.[(triple5)] The bald eagle is blue.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle likes the tiger.[(triple4)] The dog is round.[(triple6)] The dog is young.[(triple7)] The dog likes the squirrel.[(triple8)] The dog likes the tiger.[(triple9)] The dog needs the squirrel.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel needs the dog.[(triple12)] The squirrel needs the tiger.[(triple13 OR ((triple12) -> rule4))] The tiger is not young.[(triple14)] The tiger needs the dog.[(triple15)] @1: The squirrel is round.[(((triple8 triple6) -> rule2))] The tiger needs the tiger.[(((triple15) -> rule4))]
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
triple5
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple8
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple9
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple10
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple11
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple12
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple13
((triple12) -> (rule4 % int1))
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
int1
The tiger is not young.
("tiger" "is" "young" "-")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple15
The squirrel is round.
("squirrel" "is" "round" "+")
((triple8 triple6) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple15) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1