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