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