The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle needs the mouse. The bald eagle sees the cat. The bald eagle sees the cow. The cat eats the mouse. The cat sees the cow. The cow eats the bald eagle. The cow eats the cat. The cow is rough. The cow needs the cat. The cow needs the mouse. The cow sees the cat. The cow sees the mouse. The mouse is young. The mouse sees the cat. If someone is rough and big then they see the cow. If someone sees the mouse then they are big. If someone is nice then they are rough. If someone sees the mouse and they see the cow then they see the bald eagle. If someone eats the bald eagle then the bald eagle needs the mouse. If someone sees the bald eagle then the bald eagle sees the mouse. If someone is rough then they need the cat. If someone sees the bald eagle and they eat the cow then they need the mouse. If someone is big and young then they see the cow.
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If someone is rough and big then they see the cow.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the mouse then they are big.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "big" "+"))
If someone is nice then they are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone sees the mouse and they see the cow then they see the bald eagle.
((("someone" "sees" "mouse" "+") ("someone" "sees" "cow" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the bald eagle then the bald eagle needs the mouse.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If someone sees the bald eagle then the bald eagle sees the mouse.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If someone is rough then they need the cat.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "cat" "+"))
If someone sees the bald eagle and they eat the cow then they need the mouse.
((("someone" "sees" "bald eagle" "+") ("someone" "eats" "cow" "+")) -> ("someone" "needs" "mouse" "+"))
If someone is big and young then they see the cow.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "sees" "cow" "+"))
The mouse is young.
True
1
proof
[(triple15)]
("mouse" "is" "young" "+")
triple15
The cow does not eat the cat.
False
1
inv-proof
[(triple9)]
("cow" "eats" "cat" "-")
triple9
The cow is big.
True
2
proof
[(((triple14) -> rule2))]
("cow" "is" "big" "+")
((triple14) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple14) -> rule2))]
("cow" "is" "big" "-")
((triple14) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow sees the cow.
True
4
proof
[(((triple10 ((triple14) -> rule2)) -> rule1))]
("cow" "sees" "cow" "+")
((triple10 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow does not see the cow.
False
4
inv-proof
[(((triple10 ((triple14) -> rule2)) -> rule1))]
("cow" "sees" "cow" "-")
((triple10 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow sees the bald eagle.
True
6
proof
[(((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4))]
("cow" "sees" "bald eagle" "+")
((triple14 ((triple10 ((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow does not see the bald eagle.
False
6
inv-proof
[(((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4))]
("cow" "sees" "bald eagle" "-")
((triple14 ((triple10 ((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The bald eagle sees the mouse.
True
7
proof
[(((((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4)) -> rule6))]
("bald eagle" "sees" "mouse" "+")
((((triple14 ((triple10 ((triple14) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The bald eagle does not see the mouse.
False
7
inv-proof
[(((((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4)) -> rule6))]
("bald eagle" "sees" "mouse" "-")
((((triple14 ((triple10 ((triple14) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The bald eagle is big.
True
8
proof
[(((((((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule2))]
("bald eagle" "is" "big" "+")
((((((triple14 ((triple10 ((triple14) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The bald eagle is not big.
False
8
inv-proof
[(((((((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule2))]
("bald eagle" "is" "big" "-")
((((((triple14 ((triple10 ((triple14) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The cat does not see the bald eagle.
Unknown
inv-rconc
[@1: The cat sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "bald eagle" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "+")
The mouse does not need the cat.
Unknown
inv-rconc
[@2: The mouse needs the cat.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("mouse" "needs" "cat" "-")
The cat is rough.
Unknown
rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "rough" "+")
The cat does not need the mouse.
Unknown
inv-rconc
[@1: The cat needs the mouse.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "needs" "mouse" "-")
The mouse sees the cow.
Unknown
rconc
[@2: The mouse sees the cow.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("mouse" "sees" "cow" "+")
The bald eagle does not eat the cat.
Unknown
inv-random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "-")
The cat eats the bald eagle.
Unknown
random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "+")
The cat does not eat the cow.
Unknown
inv-random
[@0: The cat eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
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 cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The bald eagle needs the cat.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the mouse.[(triple3 OR ((triple8) -> rule5))] The bald eagle sees the cat.[(triple4)] The bald eagle sees the cow.[(triple5)] The cat eats the mouse.[(triple6)] The cat sees the cow.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the cat.[(triple9)] The cow is rough.[(triple10)] The cow needs the cat.[(triple11 OR ((triple10) -> rule7))] The cow needs the mouse.[(triple12)] The cow sees the cat.[(triple13)] The cow sees the mouse.[(triple14)] The mouse is young.[(triple15)] The mouse sees the cat.[(triple16)] @1: The cow is big.[(((triple14) -> rule2))] @2: The cow sees the cow.[(((triple10 ((triple14) -> rule2)) -> rule1))] @3: The cow sees the bald eagle.[(((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4))] @4: The bald eagle sees the mouse.[(((((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4)) -> rule6))] @5: The bald eagle is big.[(((((((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4)) -> rule6)) -> rule2))] The bald eagle sees the bald eagle.[(((((((triple14 ((triple10 ((triple14) -> rule2)) -> rule1)) -> rule4)) -> rule6) triple5) -> rule4))]
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
((triple8) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple5
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple6
The cat sees the cow.
("cat" "sees" "cow" "+")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
The cow is rough.
("cow" "is" "rough" "+")
triple10
The cow needs the cat.
("cow" "needs" "cat" "+")
triple11
((triple10) -> (rule7 % int1))
The cow needs the cat.
("cow" "needs" "cat" "+")
int1
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple12
The cow sees the cat.
("cow" "sees" "cat" "+")
triple13
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple14
The mouse is young.
("mouse" "is" "young" "+")
triple15
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple16
The cow is big.
("cow" "is" "big" "+")
((triple14) -> (rule2 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple10 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple14 ((triple10 ((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((((triple14 ((triple10 ((triple14) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The cow sees the cow.
("cow" "sees" "cow" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((((triple14 ((triple10 ((triple14) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple14 ((triple10 ((triple14) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow sees the cow.
("cow" "sees" "cow" "+")
int4
The cow is big.
("cow" "is" "big" "+")
int5