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