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