The mouse is cold. The mouse is green. The mouse is rough. If the mouse is kind and the mouse is rough then the mouse is blue. Kind people are cold. All cold, rough people are kind.
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If the mouse is kind and the mouse is rough then the mouse is blue.
((("mouse" "is" "kind" "+") ("mouse" "is" "rough" "+")) -> ("mouse" "is" "blue" "+"))
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All cold, rough people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
The mouse is rough.
True
1
proof
[(triple3)]
("mouse" "is" "rough" "+")
triple3
The mouse is not green.
False
1
inv-proof
[(triple2)]
("mouse" "is" "green" "-")
triple2
The mouse is kind.
True
3
proof
[(((triple1 triple3) -> rule3))]
("mouse" "is" "kind" "+")
((triple1 triple3) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not kind.
False
3
inv-proof
[(((triple1 triple3) -> rule3))]
("mouse" "is" "kind" "-")
((triple1 triple3) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is blue.
True
5
proof
[(((((triple1 triple3) -> rule3) triple3) -> rule1))]
("mouse" "is" "blue" "+")
((((triple1 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is not blue.
False
5
inv-proof
[(((((triple1 triple3) -> rule3) triple3) -> rule1))]
("mouse" "is" "blue" "-")
((((triple1 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
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 needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is rough.[(triple3)] @1: The mouse is kind.[(((triple1 triple3) -> rule3))] @2: The mouse is blue.[(((((triple1 triple3) -> rule3) triple3) -> rule1))]
The mouse is cold.
("mouse" "is" "cold" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
((triple1 triple3) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple1 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2