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