The mouse eats the squirrel. The mouse sees the squirrel. The mouse does not see the tiger. The mouse visits the tiger. The squirrel is rough. The squirrel is round. The squirrel is not young. The tiger eats the squirrel. The tiger is nice. The tiger visits the mouse. If someone eats the mouse and the mouse sees the tiger then they are rough. All young people are rough. If the squirrel sees the mouse and the mouse eats the tiger then the squirrel is not nice. All cold people are not round. If the tiger sees the squirrel and the tiger eats the mouse then the tiger is not rough. Nice people are young. If someone is young and rough then they see the tiger. If someone sees the mouse and they visit the squirrel then the squirrel is round.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone eats the mouse and the mouse sees the tiger then they are rough.
((("someone" "eats" "mouse" "+") ("mouse" "sees" "tiger" "+")) -> ("someone" "is" "rough" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If the squirrel sees the mouse and the mouse eats the tiger then the squirrel is not nice.
((("squirrel" "sees" "mouse" "+") ("mouse" "eats" "tiger" "+")) -> ("squirrel" "is" "nice" "-"))
All cold people are not round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "-"))
If the tiger sees the squirrel and the tiger eats the mouse then the tiger is not rough.
((("tiger" "sees" "squirrel" "+") ("tiger" "eats" "mouse" "+")) -> ("tiger" "is" "rough" "-"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough then they see the tiger.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "sees" "tiger" "+"))
If someone sees the mouse and they visit the squirrel then the squirrel is round.
((("someone" "sees" "mouse" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "round" "+"))
The tiger eats the squirrel.
True
1
proof
[(triple8)]
("tiger" "eats" "squirrel" "+")
triple8
The mouse sees the tiger.
False
1
inv-proof
[(triple3)]
("mouse" "sees" "tiger" "+")
triple3
The tiger is young.
True
2
proof
[(((triple9) -> rule6))]
("tiger" "is" "young" "+")
((triple9) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
2
inv-proof
[(((triple9) -> rule6))]
("tiger" "is" "young" "-")
((triple9) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is rough.
True
3
proof
[(((((triple9) -> rule6)) -> rule2))]
("tiger" "is" "rough" "+")
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is not rough.
False
3
inv-proof
[(((((triple9) -> rule6)) -> rule2))]
("tiger" "is" "rough" "-")
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
True
6
proof
[(((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule7))]
("tiger" "sees" "tiger" "+")
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger does not see the tiger.
False
6
inv-proof
[(((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule7))]
("tiger" "sees" "tiger" "-")
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "young" "-")
The squirrel sees the tiger.
Unknown
rconc
[@1: The squirrel sees the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "sees" "tiger" "+")
The mouse is not rough.
Unknown
inv-rconc
[@2: The mouse is rough.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("mouse" "is" "rough" "-")
The tiger sees the mouse.
Unknown
random
[@0: The tiger sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "mouse" "+")
The squirrel does not see the mouse.
Unknown
inv-random
[@0: The squirrel sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The mouse does not eat the tiger.
Unknown
inv-random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The mouse does not see the tiger.[(triple3)] The mouse eats the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The mouse visits the tiger.[(triple4)] The squirrel is not young.[(triple7)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6)] The tiger eats the squirrel.[(triple8)] The tiger is nice.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The tiger is young.[(((triple9) -> rule6))] @2: The tiger is rough.[(((((triple9) -> rule6)) -> rule2))] @3: The tiger sees the tiger.[(((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule2)) -> rule7))]
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
triple3
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple4
The squirrel is not young.
("squirrel" "is" "young" "-")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple8
The tiger is nice.
("tiger" "is" "nice" "+")
triple9
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
((triple9) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((((triple9) -> (rule6 % int3)) ((((triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3