The mouse is green. The mouse is kind. The mouse is round. If someone is cold and not big then they are kind. All kind people are not cold.
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
If someone is cold and not big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "kind" "+"))
All kind people are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
The mouse is green.
True
1
proof
[(triple1)]
("mouse" "is" "green" "+")
triple1
The mouse is not kind.
False
1
inv-proof
[(triple2)]
("mouse" "is" "kind" "-")
triple2
The mouse is not cold.
True
2
proof
[(((triple2) -> rule2))]
("mouse" "is" "cold" "-")
((triple2) -> (rule2 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse is cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("mouse" "is" "cold" "+")
((triple2) -> (rule2 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
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 green.[(triple1)] The mouse is kind.[(triple2)] The mouse is round.[(triple3)] @1: The mouse is not cold.[(((triple2) -> rule2))]
The mouse is green.
("mouse" "is" "green" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The mouse is not cold.
("mouse" "is" "cold" "-")
((triple2) -> (rule2 % int1))
The mouse is not cold.
("mouse" "is" "cold" "-")
int1