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