The bald eagle does not like the mouse. The bald eagle needs the mouse. The dog is rough. The dog sees the squirrel. The mouse is cold. The mouse is not nice. The mouse likes the bald eagle. The mouse does not like the dog. The mouse does not like the squirrel. The squirrel does not need the bald eagle. The squirrel needs the mouse. If someone sees the bald eagle and they are not cold then the bald eagle does not need the squirrel. If someone needs the dog and they like the mouse then the mouse is rough. If someone needs the squirrel then they are not rough. If someone likes the squirrel and they like the mouse then they see the squirrel. If someone sees the mouse then the mouse is nice. If someone is rough then they need the dog. If someone needs the dog then they like the mouse. If someone is nice and they need the dog then they like the dog. If someone sees the bald eagle and the bald eagle is not cold then the bald eagle likes the dog.
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If someone sees the bald eagle and they are not cold then the bald eagle does not need the squirrel.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "cold" "~")) -> ("bald eagle" "needs" "squirrel" "-"))
If someone needs the dog and they like the mouse then the mouse is rough.
((("someone" "needs" "dog" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "is" "rough" "+"))
If someone needs the squirrel then they are not rough.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "rough" "-"))
If someone likes the squirrel and they like the mouse then they see the squirrel.
((("someone" "likes" "squirrel" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the mouse then the mouse is nice.
((("someone" "sees" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone is rough then they need the dog.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the dog then they like the mouse.
((("someone" "needs" "dog" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is nice and they need the dog then they like the dog.
((("someone" "is" "nice" "+") ("someone" "needs" "dog" "+")) -> ("someone" "likes" "dog" "+"))
If someone sees the bald eagle and the bald eagle is not cold then the bald eagle likes the dog.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "is" "cold" "~")) -> ("bald eagle" "likes" "dog" "+"))
The squirrel does not need the bald eagle.
True
1
proof
[(triple10)]
("squirrel" "needs" "bald eagle" "-")
triple10
The mouse is nice.
False
1
inv-proof
[(triple6)]
("mouse" "is" "nice" "+")
triple6
The dog needs the dog.
True
2
proof
[(((triple3) -> rule6))]
("dog" "needs" "dog" "+")
((triple3) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple3) -> rule6))]
("dog" "needs" "dog" "-")
((triple3) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog likes the mouse.
True
3
proof
[(((((triple3) -> rule6)) -> rule7))]
("dog" "likes" "mouse" "+")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog does not like the mouse.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule7))]
("dog" "likes" "mouse" "-")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The mouse is rough.
True
6
proof
[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2))]
("mouse" "is" "rough" "+")
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The mouse is not rough.
False
6
inv-proof
[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2))]
("mouse" "is" "rough" "-")
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The mouse needs the dog.
True
7
proof
[(((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule6))]
("mouse" "needs" "dog" "+")
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The mouse does not need the dog.
False
7
inv-proof
[(((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule6))]
("mouse" "needs" "dog" "-")
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The mouse likes the mouse.
True
8
proof
[(((((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule6)) -> rule7))]
("mouse" "likes" "mouse" "+")
((((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The mouse does not like the mouse.
False
8
inv-proof
[(((((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule6)) -> rule7))]
("mouse" "likes" "mouse" "-")
((((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The bald eagle sees the squirrel.
Unknown
rconc
[@1: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "squirrel" "+")
The mouse does not see the squirrel.
Unknown
inv-rconc
[@1: The mouse sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "sees" "squirrel" "-")
The squirrel needs the dog.
Unknown
rconc
[@1: The squirrel needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "needs" "dog" "+")
The squirrel does not like the dog.
Unknown
inv-rconc
[@1: The squirrel likes the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "likes" "dog" "-")
The dog likes the dog.
Unknown
rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "likes" "dog" "+")
The dog is not green.
Unknown
inv-random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The dog does not need the squirrel.
Unknown
inv-random
[@0: The dog needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "squirrel" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle does not like the mouse.[(triple1)] The bald eagle needs the mouse.[(triple2)] The dog is rough.[(triple3)] The dog sees the squirrel.[(triple4)] The mouse does not like the dog.[(triple8)] The mouse does not like the squirrel.[(triple9)] The mouse is cold.[(triple5)] The mouse is not nice.[(triple6)] The mouse likes the bald eagle.[(triple7)] The squirrel does not need the bald eagle.[(triple10)] The squirrel needs the mouse.[(triple11)] @1: The dog needs the dog.[(((triple3) -> rule6))] @2: The dog likes the mouse.[(((((triple3) -> rule6)) -> rule7))] @3: The mouse is rough.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2))] @4: The mouse needs the dog.[(((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule6))] @5: The mouse likes the mouse.[(((((((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule7)) -> rule2)) -> rule6)) -> rule7))]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple1
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple4
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
triple8
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple5
The mouse is not nice.
("mouse" "is" "nice" "-")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple10
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple11
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple3) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
((((triple3) -> (rule6 % int3)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The mouse needs the dog.
("mouse" "needs" "dog" "+")
((((((triple3) -> (rule6 % int4)) ((((triple3) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int3
The dog needs the dog.
("dog" "needs" "dog" "+")
int4
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((((((((triple3) -> (rule6 % int5)) ((((triple3) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The dog likes the mouse.
("dog" "likes" "mouse" "+")
int4
The dog needs the dog.
("dog" "needs" "dog" "+")
int5