The bald eagle eats the dog. The bald eagle is not green. The bald eagle does not need the dog. The bald eagle needs the rabbit. The bald eagle does not visit the dog. The dog is green. The dog needs the bald eagle. The rabbit eats the squirrel. The rabbit is not young. The rabbit needs the dog. The squirrel is kind. If someone needs the squirrel then the squirrel needs the bald eagle. If someone eats the rabbit then they are young. If the dog is green and the dog needs the rabbit then the dog visits the rabbit. Nice people are not green. If the dog is green then the dog eats the bald eagle. If the dog is not young then the dog eats the bald eagle. If someone is green and they eat the dog then the dog needs the bald eagle. If someone eats the bald eagle then they need the rabbit. If someone visits the rabbit then the rabbit is nice.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone needs the squirrel then the squirrel needs the bald eagle.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
If someone eats the rabbit then they are young.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "young" "+"))
If the dog is green and the dog needs the rabbit then the dog visits the rabbit.
((("dog" "is" "green" "+") ("dog" "needs" "rabbit" "+")) -> ("dog" "visits" "rabbit" "+"))
Nice people are not green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "-"))
If the dog is green then the dog eats the bald eagle.
((("dog" "is" "green" "+")) -> ("dog" "eats" "bald eagle" "+"))
If the dog is not young then the dog eats the bald eagle.
((("dog" "is" "young" "~")) -> ("dog" "eats" "bald eagle" "+"))
If someone is green and they eat the dog then the dog needs the bald eagle.
((("someone" "is" "green" "+") ("someone" "eats" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
If someone eats the bald eagle then they need the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone visits the rabbit then the rabbit is nice.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
The bald eagle does not need the dog.
True
1
proof
[(triple3)]
("bald eagle" "needs" "dog" "-")
triple3
The bald eagle does not need the rabbit.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "rabbit" "-")
triple4
The dog eats the bald eagle.
True
2
proof
[(((triple6) -> rule5))]
("dog" "eats" "bald eagle" "+")
((triple6) -> (rule5 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple6) -> rule5))]
("dog" "eats" "bald eagle" "-")
((triple6) -> (rule5 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog needs the rabbit.
True
3
proof
[(((((triple6) -> rule5)) -> rule8))]
("dog" "needs" "rabbit" "+")
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog does not need the rabbit.
False
3
inv-proof
[(((((triple6) -> rule5)) -> rule8))]
("dog" "needs" "rabbit" "-")
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog visits the rabbit.
True
5
proof
[(((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3))]
("dog" "visits" "rabbit" "+")
((triple6 ((((triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog does not visit the rabbit.
False
5
inv-proof
[(((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3))]
("dog" "visits" "rabbit" "-")
((triple6 ((((triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The rabbit is nice.
True
6
proof
[(((((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3)) -> rule9))]
("rabbit" "is" "nice" "+")
((((triple6 ((((triple6) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int4
The rabbit is not nice.
False
6
inv-proof
[(((((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3)) -> rule9))]
("rabbit" "is" "nice" "-")
((((triple6 ((((triple6) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int4
The rabbit is not green.
True
7
proof
[(((((((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3)) -> rule9)) -> rule4))]
("rabbit" "is" "green" "-")
((((((triple6 ((((triple6) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int5
The rabbit is green.
False
7
inv-proof
[(((((((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3)) -> rule9)) -> rule4))]
("rabbit" "is" "green" "+")
((((((triple6 ((((triple6) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int5
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The squirrel needs the bald eagle.
Unknown
rconc
[@1: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "bald eagle" "+")
The squirrel does not need the rabbit.
Unknown
inv-rconc
[@1: The squirrel needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "needs" "rabbit" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "young" "+")
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "young" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "young" "+")
The bald eagle does not eat the squirrel.
Unknown
inv-random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The rabbit does not eat the dog.
Unknown
inv-random
[@0: The rabbit eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The rabbit does not visit the bald eagle.
Unknown
inv-random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bald eagle does not need the dog.[(triple3)] The bald eagle does not visit the dog.[(triple5)] The bald eagle eats the dog.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle needs the rabbit.[(triple4)] The dog is green.[(triple6)] The dog needs the bald eagle.[(triple7)] The rabbit eats the squirrel.[(triple8)] The rabbit is not young.[(triple9)] The rabbit needs the dog.[(triple10)] The squirrel is kind.[(triple11)] @1: The dog eats the bald eagle.[(((triple6) -> rule5))] @2: The dog needs the rabbit.[(((((triple6) -> rule5)) -> rule8))] @3: The dog visits the rabbit.[(((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3))] @4: The rabbit is nice.[(((((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3)) -> rule9))] @5: The rabbit is not green.[(((((((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule3)) -> rule9)) -> rule4))]
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
triple3
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple5
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple2
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple8
The rabbit is not young.
("rabbit" "is" "young" "-")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple6) -> (rule5 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((((triple6) -> (rule5 % int2))) -> (rule8 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
((triple6 ((((triple6) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple6 ((((triple6) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int4
The rabbit is not green.
("rabbit" "is" "green" "-")
((((((triple6 ((((triple6) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int5