The mouse is not round. If the mouse is not round then the mouse is kind. If someone is kind then they are not cold. If someone is young then they are not nice.
The mouse is not round.
("mouse" "is" "round" "-")
If the mouse is not round then the mouse is kind.
((("mouse" "is" "round" "~")) -> ("mouse" "is" "kind" "+"))
If someone is kind then they are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
If someone is young then they are not nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "-"))
The mouse is not round.
True
1
proof
[(triple1)]
("mouse" "is" "round" "-")
triple1
The mouse is round.
False
1
inv-proof
[(triple1)]
("mouse" "is" "round" "+")
triple1
The mouse is kind.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "is" "kind" "-")
((triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not cold.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("mouse" "is" "cold" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is cold.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("mouse" "is" "cold" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "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 not round.[(triple1)] @1: The mouse is kind.[(((triple1) -> rule1))] @2: The mouse is not cold.[(((((triple1) -> rule1)) -> rule2))]
The mouse is not round.
("mouse" "is" "round" "-")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not cold.
("mouse" "is" "cold" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2