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