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