The mouse is big. The mouse is cold. The mouse is kind. The mouse likes the tiger. The mouse needs the tiger. The mouse visits the tiger. The tiger is cold. The tiger is green. The tiger likes the mouse. The tiger visits the mouse. If the mouse likes the tiger then the mouse is red. If someone needs the mouse and the mouse visits the tiger then the tiger visits the mouse.
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the mouse likes the tiger then the mouse is red.
((("mouse" "likes" "tiger" "+")) -> ("mouse" "is" "red" "+"))
If someone needs the mouse and the mouse visits the tiger then the tiger visits the mouse.
((("someone" "needs" "mouse" "+") ("mouse" "visits" "tiger" "+")) -> ("tiger" "visits" "mouse" "+"))
The mouse is big.
True
1
proof
[(triple1)]
("mouse" "is" "big" "+")
triple1
The mouse is not cold.
False
1
inv-proof
[(triple2)]
("mouse" "is" "cold" "-")
triple2
The mouse is red.
True
2
proof
[(((triple4) -> rule1))]
("mouse" "is" "red" "+")
((triple4) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is not red.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "is" "red" "-")
((triple4) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is kind.[(triple3)] The mouse likes the tiger.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse visits the tiger.[(triple6)] The tiger is cold.[(triple7)] The tiger is green.[(triple8)] The tiger likes the mouse.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The mouse is red.[(((triple4) -> rule1))]
The mouse is big.
("mouse" "is" "big" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple4
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple6
The tiger is cold.
("tiger" "is" "cold" "+")
triple7
The tiger is green.
("tiger" "is" "green" "+")
triple8
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple9
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
((triple4) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1