The mouse needs the rabbit. The mouse sees the rabbit. The rabbit is rough. If the mouse needs the rabbit then the mouse is not blue.
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If the mouse needs the rabbit then the mouse is not blue.
((("mouse" "needs" "rabbit" "+")) -> ("mouse" "is" "blue" "-"))
The rabbit is rough.
True
1
proof
[(triple3)]
("rabbit" "is" "rough" "+")
triple3
The rabbit is not rough.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "rough" "-")
triple3
The mouse is not blue.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1
The mouse is blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse eats the rabbit.
Unknown
random
[@0: The mouse eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "rabbit" "+")
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The mouse needs the rabbit.[(triple1)] The mouse sees the rabbit.[(triple2)] The rabbit is rough.[(triple3)] @1: The mouse is not blue.[(((triple1) -> rule1))]
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The mouse is not blue.
("mouse" "is" "blue" "-")
((triple1) -> (rule1 % int1))
The mouse is not blue.
("mouse" "is" "blue" "-")
int1