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