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