The mouse likes the tiger. The rabbit is not rough. The tiger chases the mouse. If someone is cold then they visit the mouse. If the tiger likes the mouse and the mouse is not round then the mouse is not kind. If the tiger chases the mouse then the mouse is not cold.
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
If someone is cold then they visit the mouse.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "mouse" "+"))
If the tiger likes the mouse and the mouse is not round then the mouse is not kind.
((("tiger" "likes" "mouse" "+") ("mouse" "is" "round" "~")) -> ("mouse" "is" "kind" "-"))
If the tiger chases the mouse then the mouse is not cold.
((("tiger" "chases" "mouse" "+")) -> ("mouse" "is" "cold" "-"))
The rabbit is not rough.
True
1
proof
[(triple2)]
("rabbit" "is" "rough" "-")
triple2
The mouse does not like the tiger.
False
1
inv-proof
[(triple1)]
("mouse" "likes" "tiger" "-")
triple1
The mouse is not cold.
True
2
proof
[(((triple3) -> rule3))]
("mouse" "is" "cold" "-")
((triple3) -> (rule3 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse is cold.
False
2
inv-proof
[(((triple3) -> rule3))]
("mouse" "is" "cold" "+")
((triple3) -> (rule3 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
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 visits the mouse.
Unknown
rconc
[@1: The tiger visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "mouse" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The rabbit likes the mouse.
Unknown
random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "+")
@0: The mouse likes the tiger.[(triple1)] The rabbit is not rough.[(triple2)] The tiger chases the mouse.[(triple3)] @1: The mouse is not cold.[(((triple3) -> rule3))]
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple1
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple3
The mouse is not cold.
("mouse" "is" "cold" "-")
((triple3) -> (rule3 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1