The mouse eats the squirrel. The mouse is big. The mouse needs the tiger. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel does not eat the tiger. The squirrel is blue. The squirrel sees the mouse. The tiger eats the squirrel. The tiger does not need the mouse. The tiger needs the squirrel. The tiger sees the squirrel. If someone needs the squirrel then they are nice. If someone is nice and they eat the squirrel then they are round.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger does not need the mouse.
("tiger" "needs" "mouse" "-")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone needs the squirrel then they are nice.
((("someone" "needs" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and they eat the squirrel then they are round.
((("someone" "is" "nice" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "is" "round" "+"))
The tiger does not need the mouse.
True
1
proof
[(triple10)]
("tiger" "needs" "mouse" "-")
triple10
The tiger does not see the squirrel.
False
1
inv-proof
[(triple12)]
("tiger" "sees" "squirrel" "-")
triple12
The tiger is nice.
True
2
proof
[(((triple11) -> rule1))]
("tiger" "is" "nice" "+")
((triple11) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is not nice.
False
2
inv-proof
[(((triple11) -> rule1))]
("tiger" "is" "nice" "-")
((triple11) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is round.
True
4
proof
[(((((triple11) -> rule1) triple9) -> rule2))]
("tiger" "is" "round" "+")
((((triple11) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is not round.
False
4
inv-proof
[(((((triple11) -> rule1) triple9) -> rule2))]
("tiger" "is" "round" "-")
((((triple11) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "round" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "+")
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "nice" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
The tiger is not blue.
Unknown
inv-random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "-")
The tiger eats the mouse.
Unknown
random
[@0: The tiger eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "mouse" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse sees the squirrel.[(triple4)] The squirrel does not eat the tiger.[(triple6)] The squirrel eats the mouse.[(triple5)] The squirrel is blue.[(triple7)] The squirrel sees the mouse.[(triple8)] The tiger does not need the mouse.[(triple10)] The tiger eats the squirrel.[(triple9)] The tiger needs the squirrel.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The tiger is nice.[(((triple11) -> rule1))] @2: The tiger is round.[(((((triple11) -> rule1) triple9) -> rule2))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple3
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple4
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
triple6
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple8
The tiger does not need the mouse.
("tiger" "needs" "mouse" "-")
triple10
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple9
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple11
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
((triple11) -> (rule1 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((((triple11) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2