The mouse eats the tiger. The mouse needs the tiger. The mouse sees the tiger. The tiger eats the mouse. The tiger is green. The tiger is kind. The tiger is red. The tiger is young. The tiger needs the mouse. The tiger sees the mouse. If the tiger needs the mouse then the tiger sees the mouse. If someone sees the tiger then they are kind. If someone eats the mouse then the mouse is red. If the mouse eats the tiger then the mouse is kind. If the mouse sees the tiger and the tiger is young then the mouse is green. If someone sees the tiger then they are nice.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If the tiger needs the mouse then the tiger sees the mouse.
((("tiger" "needs" "mouse" "+")) -> ("tiger" "sees" "mouse" "+"))
If someone sees the tiger then they are kind.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the mouse then the mouse is red.
((("someone" "eats" "mouse" "+")) -> ("mouse" "is" "red" "+"))
If the mouse eats the tiger then the mouse is kind.
((("mouse" "eats" "tiger" "+")) -> ("mouse" "is" "kind" "+"))
If the mouse sees the tiger and the tiger is young then the mouse is green.
((("mouse" "sees" "tiger" "+") ("tiger" "is" "young" "+")) -> ("mouse" "is" "green" "+"))
If someone sees the tiger then they are nice.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "nice" "+"))
The mouse sees the tiger.
True
1
proof
[(triple3)]
("mouse" "sees" "tiger" "+")
triple3
The mouse does not need the tiger.
False
1
inv-proof
[(triple2)]
("mouse" "needs" "tiger" "-")
triple2
The mouse is nice.
True
2
proof
[(((triple3) -> rule6))]
("mouse" "is" "nice" "+")
((triple3) -> (rule6 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple1) -> rule4) OR ((triple3) -> rule2))]
("mouse" "is" "kind" "-")
((triple1) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple3) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "is" "nice" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The mouse eats the tiger.[(triple1)] The mouse needs the tiger.[(triple2)] The mouse sees the tiger.[(triple3)] The tiger eats the mouse.[(triple4)] The tiger is green.[(triple5)] The tiger is kind.[(triple6)] The tiger is red.[(triple7)] The tiger is young.[(triple8)] The tiger needs the mouse.[(triple9)] The tiger sees the mouse.[(triple10 OR ((triple9) -> rule1))] @1: The mouse is green.[(((triple3 triple8) -> rule5))] The mouse is kind.[(((triple1) -> rule4) OR ((triple3) -> rule2))] The mouse is nice.[(((triple3) -> rule6))] The mouse is red.[(((triple4) -> rule3))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple2
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple4
The tiger is green.
("tiger" "is" "green" "+")
triple5
The tiger is kind.
("tiger" "is" "kind" "+")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The tiger is young.
("tiger" "is" "young" "+")
triple8
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple9
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple10
((triple9) -> (rule1 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple3 triple8) -> (rule5 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple1) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple3) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple3) -> (rule6 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
((triple4) -> (rule3 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1