The bald eagle is nice. The bald eagle needs the mouse. The mouse likes the rabbit. The mouse needs the bald eagle. The rabbit is cold. The rabbit likes the bald eagle. The rabbit likes the squirrel. The rabbit needs the mouse. The rabbit visits the squirrel. The squirrel is cold. The squirrel is nice. The squirrel needs the mouse. The squirrel visits the bald eagle. The squirrel visits the mouse. If someone needs the mouse and they are rough then they need the rabbit. All blue people are big. If someone visits the mouse and they like the rabbit then the rabbit is big. If someone needs the mouse then they are rough. If someone likes the squirrel and they like the rabbit then they are blue. If someone visits the mouse and they need the rabbit then the mouse likes the squirrel. If someone is rough then they are nice. If someone visits the rabbit then they are big.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone needs the mouse and they are rough then they need the rabbit.
((("someone" "needs" "mouse" "+") ("someone" "is" "rough" "+")) -> ("someone" "needs" "rabbit" "+"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone visits the mouse and they like the rabbit then the rabbit is big.
((("someone" "visits" "mouse" "+") ("someone" "likes" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If someone needs the mouse then they are rough.
((("someone" "needs" "mouse" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the squirrel and they like the rabbit then they are blue.
((("someone" "likes" "squirrel" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the mouse and they need the rabbit then the mouse likes the squirrel.
((("someone" "visits" "mouse" "+") ("someone" "needs" "rabbit" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the rabbit then they are big.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "big" "+"))
The bald eagle is nice.
True
1
proof
[(triple1 OR ((((triple2) -> rule4)) -> rule7))]
("bald eagle" "is" "nice" "+")
triple1
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The squirrel does not visit the mouse.
False
1
inv-proof
[(triple14)]
("squirrel" "visits" "mouse" "-")
triple14
The squirrel is rough.
True
2
proof
[(((triple12) -> rule4))]
("squirrel" "is" "rough" "+")
((triple12) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple8) -> rule4))]
("rabbit" "is" "rough" "-")
((triple8) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is nice.
True
3
proof
[(((((triple8) -> rule4)) -> rule7))]
("rabbit" "is" "nice" "+")
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The bald eagle does not need the rabbit.
False
4
inv-proof
[(((triple2 ((triple2) -> rule4)) -> rule1))]
("bald eagle" "needs" "rabbit" "-")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The mouse likes the squirrel.
True
6
proof
[(((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6))]
("mouse" "likes" "squirrel" "+")
((triple14 ((triple12 ((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The mouse does not like the squirrel.
False
6
inv-proof
[(((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6))]
("mouse" "likes" "squirrel" "-")
((triple14 ((triple12 ((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The mouse is blue.
True
8
proof
[(((((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple3) -> rule5))]
("mouse" "is" "blue" "+")
((((triple14 ((triple12 ((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The mouse is not blue.
False
8
inv-proof
[(((((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple3) -> rule5))]
("mouse" "is" "blue" "-")
((((triple14 ((triple12 ((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The mouse is big.
True
9
proof
[(((((((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple3) -> rule5)) -> rule2))]
("mouse" "is" "big" "+")
((((((triple14 ((triple12 ((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The mouse is not big.
False
9
inv-proof
[(((((((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple3) -> rule5)) -> rule2))]
("mouse" "is" "big" "-")
((((((triple14 ((triple12 ((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The bald eagle is not big.
Unknown
inv-rconc
[@2: The bald eagle is big.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("bald eagle" "is" "big" "-")
The squirrel is big.
Unknown
rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("squirrel" "is" "big" "+")
The mouse is not nice.
Unknown
inv-rconc
[@2: The mouse is nice.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("mouse" "is" "nice" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "blue" "+")
The mouse does not need the rabbit.
Unknown
inv-rconc
[@1: The mouse needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "rabbit" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "blue" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The squirrel does not like the rabbit.
Unknown
inv-random
[@0: The squirrel likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "rabbit" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The rabbit does not visit the mouse.
Unknown
inv-random
[@0: The rabbit visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "mouse" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1 OR ((((triple2) -> rule4)) -> rule7))] The bald eagle needs the mouse.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse needs the bald eagle.[(triple4)] The rabbit is cold.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit needs the mouse.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is nice.[(triple11 OR ((((triple12) -> rule4)) -> rule7))] The squirrel needs the mouse.[(triple12)] The squirrel visits the bald eagle.[(triple13)] The squirrel visits the mouse.[(triple14)] @1: The bald eagle is rough.[(((triple2) -> rule4))] The rabbit is rough.[(((triple8) -> rule4))] The squirrel is rough.[(((triple12) -> rule4))] @2: The bald eagle needs the rabbit.[(((triple2 ((triple2) -> rule4)) -> rule1))] The rabbit is nice.[(((((triple8) -> rule4)) -> rule7))] The rabbit needs the rabbit.[(((triple8 ((triple8) -> rule4)) -> rule1))] The squirrel needs the rabbit.[(((triple12 ((triple12) -> rule4)) -> rule1))] @3: The mouse likes the squirrel.[(((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6))] @4: The mouse is blue.[(((((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple3) -> rule5))] @5: The mouse is big.[(((((((triple14 ((triple12 ((triple12) -> rule4)) -> rule1)) -> rule6) triple3) -> rule5)) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple4
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple7
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple11
((((triple12) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple12
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple13
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple14
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple2) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple8) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple12) -> (rule4 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple8) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple8 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
((triple12 ((triple12) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple14 ((triple12 ((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple14 ((triple12 ((triple12) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The mouse is big.
("mouse" "is" "big" "+")
((((((triple14 ((triple12 ((triple12) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5