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