The bald eagle sees the cow. The cow eats the mouse. The cow is red. The dog eats the mouse. The dog sees the mouse. The mouse sees the cow. The mouse sees the dog. If the dog sees the mouse then the dog is big. If something sees the dog and the dog needs the bald eagle then the bald eagle needs the cow. If something is red then it sees the cow. If something needs the mouse and the mouse is nice then it eats the dog. If something needs the cow then it is big. If something eats the cow then it needs the bald eagle. If something sees the dog then the dog eats the cow. If something is big then it needs the dog.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is red.
("cow" "is" "red" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If the dog sees the mouse then the dog is big.
((("dog" "sees" "mouse" "+")) -> ("dog" "is" "big" "+"))
If something sees the dog and the dog needs the bald eagle then the bald eagle needs the cow.
((("something" "sees" "dog" "+") ("dog" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "cow" "+"))
If something is red then it sees the cow.
((("something" "is" "red" "+")) -> ("something" "sees" "cow" "+"))
If something needs the mouse and the mouse is nice then it eats the dog.
((("something" "needs" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("something" "eats" "dog" "+"))
If something needs the cow then it is big.
((("something" "needs" "cow" "+")) -> ("something" "is" "big" "+"))
If something eats the cow then it needs the bald eagle.
((("something" "eats" "cow" "+")) -> ("something" "needs" "bald eagle" "+"))
If something sees the dog then the dog eats the cow.
((("something" "sees" "dog" "+")) -> ("dog" "eats" "cow" "+"))
If something is big then it needs the dog.
((("something" "is" "big" "+")) -> ("something" "needs" "dog" "+"))
The cow eats the mouse.
True
1
proof
[(triple2)]
("cow" "eats" "mouse" "+")
triple2
The mouse does not see the dog.
False
1
inv-proof
[(triple7)]
("mouse" "sees" "dog" "-")
triple7
The dog is big.
True
2
proof
[(((triple5) -> rule1))]
("dog" "is" "big" "+")
((triple5) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The cow does not see the cow.
False
2
inv-proof
[(((triple3) -> rule3))]
("cow" "sees" "cow" "-")
((triple3) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The dog needs the dog.
True
3
proof
[(((((triple5) -> rule1)) -> rule8))]
("dog" "needs" "dog" "+")
((((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog does not need the bald eagle.
False
3
inv-proof
[(((((triple7) -> rule7)) -> rule6))]
("dog" "needs" "bald eagle" "-")
((((triple7) -> (rule7 % int2))) -> (rule6 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
int2
The bald eagle needs the cow.
True
5
proof
[(((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2))]
("bald eagle" "needs" "cow" "+")
((triple7 ((((triple7) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
int3
The bald eagle does not need the cow.
False
5
inv-proof
[(((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2))]
("bald eagle" "needs" "cow" "-")
((triple7 ((((triple7) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
int3
The bald eagle is big.
True
6
proof
[(((((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2)) -> rule5))]
("bald eagle" "is" "big" "+")
((((triple7 ((((triple7) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The dog eats the cow.
("dog" "eats" "cow" "+")
int4
The bald eagle is not big.
False
6
inv-proof
[(((((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2)) -> rule5))]
("bald eagle" "is" "big" "-")
((((triple7 ((((triple7) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The dog eats the cow.
("dog" "eats" "cow" "+")
int4
The bald eagle needs the dog.
True
7
proof
[(((((((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2)) -> rule5)) -> rule8))]
("bald eagle" "needs" "dog" "+")
((((((triple7 ((((triple7) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int4
The dog eats the cow.
("dog" "eats" "cow" "+")
int5
The bald eagle does not need the dog.
False
7
inv-proof
[(((((((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2)) -> rule5)) -> rule8))]
("bald eagle" "needs" "dog" "-")
((((((triple7 ((((triple7) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int4
The dog eats the cow.
("dog" "eats" "cow" "+")
int5
The mouse does not eat the dog.
Unknown
inv-rconc
[@1: The mouse eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "eats" "dog" "-")
The bald eagle eats the dog.
Unknown
rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "big" "-")
The mouse needs the bald eagle.
Unknown
rconc
[@1: The mouse needs the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "needs" "bald eagle" "+")
The cow does not need the dog.
Unknown
inv-rconc
[@2: The cow needs the dog.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("cow" "needs" "dog" "-")
The cow needs the bald eagle.
Unknown
rconc
[@1: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "needs" "bald eagle" "+")
The bald eagle does not see the dog.
Unknown
inv-random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The mouse does not see the bald eagle.
Unknown
inv-random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "-")
The dog eats the bald eagle.
Unknown
random
[@0: The dog eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bald eagle" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The cow sees the dog.
Unknown
random
[@0: The cow sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "dog" "+")
@0: The bald eagle sees the cow.[(triple1)] The cow eats the mouse.[(triple2)] The cow is red.[(triple3)] The dog eats the mouse.[(triple4)] The dog sees the mouse.[(triple5)] The mouse sees the cow.[(triple6)] The mouse sees the dog.[(triple7)] @1: The cow sees the cow.[(((triple3) -> rule3))] The dog eats the cow.[(((triple7) -> rule7))] The dog is big.[(((triple5) -> rule1))] @2: The dog needs the bald eagle.[(((((triple7) -> rule7)) -> rule6))] The dog needs the dog.[(((((triple5) -> rule1)) -> rule8))] @3: The bald eagle needs the cow.[(((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2))] @4: The bald eagle is big.[(((((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2)) -> rule5))] @5: The bald eagle needs the dog.[(((((((triple7 ((((triple7) -> rule7)) -> rule6)) -> rule2)) -> rule5)) -> rule8))]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple5
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple6
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple7
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple3) -> (rule3 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple7) -> (rule7 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((triple5) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((((triple7) -> (rule7 % int2))) -> (rule6 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog eats the cow.
("dog" "eats" "cow" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple5) -> (rule1 % int2))) -> (rule8 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple7 ((((triple7) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple7 ((((triple7) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The dog eats the cow.
("dog" "eats" "cow" "+")
int4
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((((((triple7 ((((triple7) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int4
The dog eats the cow.
("dog" "eats" "cow" "+")
int5