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