The bald eagle is big. The bald eagle likes the cow. The bald eagle likes the dog. The bald eagle needs the dog. The cow likes the rabbit. The cow needs the bald eagle. The dog eats the cow. The dog is kind. The dog likes the cow. The dog needs the cow. The rabbit eats the bald eagle. The rabbit likes the bald eagle. If the cow is kind then the cow eats the bald eagle. If something likes the rabbit and the rabbit is big then it needs the cow. If something is young and it likes the rabbit then the rabbit is big. If something eats the cow then the cow is young. If something eats the dog and it likes the bald eagle then it is kind. If the rabbit is red and the rabbit is kind then the rabbit likes the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If the cow is kind then the cow eats the bald eagle.
((("cow" "is" "kind" "+")) -> ("cow" "eats" "bald eagle" "+"))
If something likes the rabbit and the rabbit is big then it needs the cow.
((("something" "likes" "rabbit" "+") ("rabbit" "is" "big" "+")) -> ("something" "needs" "cow" "+"))
If something is young and it likes the rabbit then the rabbit is big.
((("something" "is" "young" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If something eats the cow then the cow is young.
((("something" "eats" "cow" "+")) -> ("cow" "is" "young" "+"))
If something eats the dog and it likes the bald eagle then it is kind.
((("something" "eats" "dog" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
If the rabbit is red and the rabbit is kind then the rabbit likes the bald eagle.
((("rabbit" "is" "red" "+") ("rabbit" "is" "kind" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
The bald eagle is big.
True
1
proof
[(triple1)]
("bald eagle" "is" "big" "+")
triple1
The bald eagle does not like the cow.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "cow" "-")
triple2
The cow is young.
True
2
proof
[(((triple7) -> rule4))]
("cow" "is" "young" "+")
((triple7) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple7) -> rule4))]
("cow" "is" "young" "-")
((triple7) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The rabbit is big.
True
4
proof
[(((((triple7) -> rule4) triple5) -> rule3))]
("rabbit" "is" "big" "+")
((((triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The rabbit is not big.
False
4
inv-proof
[(((((triple7) -> rule4) triple5) -> rule3))]
("rabbit" "is" "big" "-")
((((triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow needs the cow.
True
6
proof
[(((triple5 ((((triple7) -> rule4) triple5) -> rule3)) -> rule2))]
("cow" "needs" "cow" "+")
((triple5 ((((triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The cow does not need the cow.
False
6
inv-proof
[(((triple5 ((((triple7) -> rule4) triple5) -> rule3)) -> rule2))]
("cow" "needs" "cow" "-")
((triple5 ((((triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3
The rabbit does not need the cow.
Unknown
inv-rconc
[@1: The rabbit needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "cow" "-")
The bald eagle needs the cow.
Unknown
rconc
[@1: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "cow" "+")
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The rabbit does not eat the cow.
Unknown
inv-random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "-")
The dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle needs the dog.[(triple4)] The cow likes the rabbit.[(triple5)] The cow needs the bald eagle.[(triple6)] The dog eats the cow.[(triple7)] The dog is kind.[(triple8)] The dog likes the cow.[(triple9)] The dog needs the cow.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit likes the bald eagle.[(triple12)] @1: The cow is young.[(((triple7) -> rule4))] @2: The rabbit is big.[(((((triple7) -> rule4) triple5) -> rule3))] @3: The cow needs the cow.[(((triple5 ((((triple7) -> rule4) triple5) -> rule3)) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The dog eats the cow.
("dog" "eats" "cow" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
The dog needs the cow.
("dog" "needs" "cow" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple12
The cow is young.
("cow" "is" "young" "+")
((triple7) -> (rule4 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple7) -> (rule4 % int2)) triple5) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow needs the cow.
("cow" "needs" "cow" "+")
((triple5 ((((triple7) -> (rule4 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
The cow needs the cow.
("cow" "needs" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
int3