The bald eagle does not need the cow. The cow eats the dog. The cow eats the lion. The cow is red. The dog is red. The dog needs the lion. The dog does not visit the lion. The lion eats the bald eagle. The lion does not eat the cow. The lion does not eat the dog. The lion is blue. The lion is kind. The lion needs the bald eagle. The lion needs the cow. The lion visits the cow. The lion visits the dog. If the lion is kind then the lion does not eat the cow. If something needs the cow and the cow is red then the cow needs the bald eagle. If the cow eats the bald eagle then the cow is not red. If something visits the dog and the dog is red then it needs the bald eagle. If something visits the bald eagle then the bald eagle eats the dog. If something is green then it is not big. If something eats the dog then it visits the bald eagle. If the dog does not need the bald eagle then the dog is blue.
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is red.
("cow" "is" "red" "+")
The dog is red.
("dog" "is" "red" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog does not visit the lion.
("dog" "visits" "lion" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion does not eat the dog.
("lion" "eats" "dog" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If the lion is kind then the lion does not eat the cow.
((("lion" "is" "kind" "+")) -> ("lion" "eats" "cow" "-"))
If something needs the cow and the cow is red then the cow needs the bald eagle.
((("something" "needs" "cow" "+") ("cow" "is" "red" "+")) -> ("cow" "needs" "bald eagle" "+"))
If the cow eats the bald eagle then the cow is not red.
((("cow" "eats" "bald eagle" "+")) -> ("cow" "is" "red" "-"))
If something visits the dog and the dog is red then it needs the bald eagle.
((("something" "visits" "dog" "+") ("dog" "is" "red" "+")) -> ("something" "needs" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle eats the dog.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If something is green then it is not big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "-"))
If something eats the dog then it visits the bald eagle.
((("something" "eats" "dog" "+")) -> ("something" "visits" "bald eagle" "+"))
If the dog does not need the bald eagle then the dog is blue.
((("dog" "needs" "bald eagle" "~")) -> ("dog" "is" "blue" "+"))
The lion does not eat the cow.
True
1
proof
[(triple9 OR ((triple12) -> rule1))]
("lion" "eats" "cow" "-")
triple9
((triple12) -> (rule1 % int1))
The lion does not eat the cow.
("lion" "eats" "cow" "-")
int1
The lion does not visit the cow.
False
1
inv-proof
[(triple15)]
("lion" "visits" "cow" "-")
triple15
The cow visits the bald eagle.
True
2
proof
[(((triple2) -> rule7))]
("cow" "visits" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cow does not visit the bald eagle.
False
2
inv-proof
[(((triple2) -> rule7))]
("cow" "visits" "bald eagle" "-")
((triple2) -> (rule7 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The bald eagle eats the dog.
True
3
proof
[(((((triple2) -> rule7)) -> rule5))]
("bald eagle" "eats" "dog" "+")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The bald eagle does not eat the dog.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule5))]
("bald eagle" "eats" "dog" "-")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The bald eagle visits the bald eagle.
True
4
proof
[(((((((triple2) -> rule7)) -> rule5)) -> rule7))]
("bald eagle" "visits" "bald eagle" "+")
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The bald eagle does not visit the bald eagle.
False
4
inv-proof
[(((((((triple2) -> rule7)) -> rule5)) -> rule7))]
("bald eagle" "visits" "bald eagle" "-")
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The lion visits the bald eagle.
Unknown
rconc
[@1: The lion visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "visits" "bald eagle" "+")
The dog does not need the bald eagle.
Unknown
inv-rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The dog visits the bald eagle.
Unknown
rconc
[@1: The dog visits the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "visits" "bald eagle" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The dog does not visit the cow.
Unknown
inv-random
[@0: The dog visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cow" "-")
The dog eats the cow.
Unknown
random
[@0: The dog eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cow" "+")
@0: The bald eagle does not need the cow.[(triple1)] The cow eats the dog.[(triple2)] The cow eats the lion.[(triple3)] The cow is red.[(triple4)] The dog does not visit the lion.[(triple7)] The dog is red.[(triple5)] The dog needs the lion.[(triple6)] The lion does not eat the cow.[(triple9 OR ((triple12) -> rule1))] The lion does not eat the dog.[(triple10)] The lion eats the bald eagle.[(triple8)] The lion is blue.[(triple11)] The lion is kind.[(triple12)] The lion needs the bald eagle.[(triple13 OR ((triple16 triple5) -> rule4))] The lion needs the cow.[(triple14)] The lion visits the cow.[(triple15)] The lion visits the dog.[(triple16)] @1: The cow needs the bald eagle.[(((triple14 triple4) -> rule2))] The cow visits the bald eagle.[(((triple2) -> rule7))] @2: The bald eagle eats the dog.[(((((triple2) -> rule7)) -> rule5))] @3: The bald eagle visits the bald eagle.[(((((((triple2) -> rule7)) -> rule5)) -> rule7))]
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow eats the lion.
("cow" "eats" "lion" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The dog does not visit the lion.
("dog" "visits" "lion" "-")
triple7
The dog is red.
("dog" "is" "red" "+")
triple5
The dog needs the lion.
("dog" "needs" "lion" "+")
triple6
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple9
((triple12) -> (rule1 % int1))
The lion does not eat the cow.
("lion" "eats" "cow" "-")
int1
The lion does not eat the dog.
("lion" "eats" "dog" "-")
triple10
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion is blue.
("lion" "is" "blue" "+")
triple11
The lion is kind.
("lion" "is" "kind" "+")
triple12
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple13
((triple16 triple5) -> (rule4 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
triple14
The lion visits the cow.
("lion" "visits" "cow" "+")
triple15
The lion visits the dog.
("lion" "visits" "dog" "+")
triple16
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
((triple14 triple4) -> (rule2 % int1))
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple2) -> (rule7 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3