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