The bald eagle is big. The bald eagle is blue. The bald eagle sees the dog. The bear eats the dog. The bear is red. The bear does not see the bald eagle. The dog does not eat the bald eagle. The squirrel eats the bear. The squirrel is blue. The squirrel does not need the bear. If something eats the bear then it is cold. If something needs the bald eagle and it sees the dog then the bald eagle is red. If something is cold then it needs the bald eagle. If something needs the bald eagle then the bald eagle is cold. If something eats the bald eagle then it does not need the bear. If something sees the bald eagle then it needs the dog.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
If something eats the bear then it is cold.
((("something" "eats" "bear" "+")) -> ("something" "is" "cold" "+"))
If something needs the bald eagle and it sees the dog then the bald eagle is red.
((("something" "needs" "bald eagle" "+") ("something" "sees" "dog" "+")) -> ("bald eagle" "is" "red" "+"))
If something is cold then it needs the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "needs" "bald eagle" "+"))
If something needs the bald eagle then the bald eagle is cold.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something eats the bald eagle then it does not need the bear.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "bear" "-"))
If something sees the bald eagle then it needs the dog.
((("something" "sees" "bald eagle" "+")) -> ("something" "needs" "dog" "+"))
The squirrel does not need the bear.
True
1
proof
[(triple10)]
("squirrel" "needs" "bear" "-")
triple10
The dog eats the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "eats" "bald eagle" "+")
triple7
The squirrel is cold.
True
2
proof
[(((triple8) -> rule1))]
("squirrel" "is" "cold" "+")
((triple8) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
2
inv-proof
[(((triple8) -> rule1))]
("squirrel" "is" "cold" "-")
((triple8) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel needs the bald eagle.
True
3
proof
[(((((triple8) -> rule1)) -> rule3))]
("squirrel" "needs" "bald eagle" "+")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The squirrel does not need the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule3))]
("squirrel" "needs" "bald eagle" "-")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The bald eagle is cold.
True
4
proof
[(((((((triple8) -> rule1)) -> rule3)) -> rule4))]
("bald eagle" "is" "cold" "+")
((((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The bald eagle is not cold.
False
4
inv-proof
[(((((((triple8) -> rule1)) -> rule3)) -> rule4))]
("bald eagle" "is" "cold" "-")
((((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The bald eagle needs the bald eagle.
True
5
proof
[(((((((((triple8) -> rule1)) -> rule3)) -> rule4)) -> rule3))]
("bald eagle" "needs" "bald eagle" "+")
((((((((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The bald eagle does not need the bald eagle.
False
5
inv-proof
[(((((((((triple8) -> rule1)) -> rule3)) -> rule4)) -> rule3))]
("bald eagle" "needs" "bald eagle" "-")
((((((((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The bald eagle is red.
True
7
proof
[(((((((((((triple8) -> rule1)) -> rule3)) -> rule4)) -> rule3) triple3) -> rule2))]
("bald eagle" "is" "red" "+")
((((((((((triple8) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The bald eagle is not red.
False
7
inv-proof
[(((((((((((triple8) -> rule1)) -> rule3)) -> rule4)) -> rule3) triple3) -> rule2))]
("bald eagle" "is" "red" "-")
((((((((((triple8) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5
The bear does not need the bald eagle.
Unknown
inv-rconc
[@2: The bear needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bear" "needs" "bald eagle" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "+")
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "needs" "dog" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "+")
The squirrel does not need the dog.
Unknown
inv-rconc
[@1: The squirrel needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "needs" "dog" "-")
The dog needs the dog.
Unknown
rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "needs" "dog" "+")
The bear does not see the dog.
Unknown
inv-random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The bear does not see the squirrel.
Unknown
inv-random
[@0: The bear sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "squirrel" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The dog sees the squirrel.
Unknown
random
[@0: The dog sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "squirrel" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle sees the dog.[(triple3)] The bear does not see the bald eagle.[(triple6)] The bear eats the dog.[(triple4)] The bear is red.[(triple5)] The dog does not eat the bald eagle.[(triple7)] The squirrel does not need the bear.[(triple10)] The squirrel eats the bear.[(triple8)] The squirrel is blue.[(triple9)] @1: The squirrel is cold.[(((triple8) -> rule1))] @2: The squirrel needs the bald eagle.[(((((triple8) -> rule1)) -> rule3))] @3: The bald eagle is cold.[(((((((triple8) -> rule1)) -> rule3)) -> rule4))] @4: The bald eagle needs the bald eagle.[(((((((((triple8) -> rule1)) -> rule3)) -> rule4)) -> rule3))] @5: The bald eagle is red.[(((((((((((triple8) -> rule1)) -> rule3)) -> rule4)) -> rule3) triple3) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The bear does not see the bald eagle.
("bear" "sees" "bald eagle" "-")
triple6
The bear eats the dog.
("bear" "eats" "dog" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple7
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple10
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple8) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
int3
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((((((triple8) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
int4
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((((((((triple8) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple3) -> (rule2 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int4
The squirrel is cold.
("squirrel" "is" "cold" "+")
int5