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