The mouse is blue. The mouse is cold. The mouse is kind. If the mouse is cold then the mouse is nice.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
If the mouse is cold then the mouse is nice.
((("mouse" "is" "cold" "+")) -> ("mouse" "is" "nice" "+"))
The mouse is cold.
True
1
proof
[(triple2)]
("mouse" "is" "cold" "+")
triple2
The mouse is not kind.
False
1
inv-proof
[(triple3)]
("mouse" "is" "kind" "-")
triple3
The mouse is nice.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "is" "nice" "-")
((triple2) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
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 mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
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 mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is kind.[(triple3)] @1: The mouse is nice.[(((triple2) -> rule1))]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is kind.
("mouse" "is" "kind" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1