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