The mouse eats the tiger. The mouse is blue. The mouse is nice. The mouse visits the tiger. The tiger eats the mouse. The tiger is kind. The tiger needs the mouse. If someone is kind then they visit the mouse.
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone is kind then they visit the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "mouse" "+"))
The mouse visits the tiger.
True
1
proof
[(triple4)]
("mouse" "visits" "tiger" "+")
triple4
The tiger does not need the mouse.
False
1
inv-proof
[(triple7)]
("tiger" "needs" "mouse" "-")
triple7
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The mouse eats the tiger.[(triple1)] The mouse is blue.[(triple2)] The mouse is nice.[(triple3)] The mouse visits the tiger.[(triple4)] The tiger eats the mouse.[(triple5)] The tiger is kind.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The tiger visits the mouse.[(((triple6) -> rule1))]
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple4
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple5
The tiger is kind.
("tiger" "is" "kind" "+")
triple6
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple7
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
((triple6) -> (rule1 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1