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