The mouse is round. If something is round then it is not green. If something is round and green then it is not young. All green things are not round.
The mouse is round.
("mouse" "is" "round" "+")
If something is round then it is not green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
If something is round and green then it is not young.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "-"))
All green things are not round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "-"))
The mouse is round.
True
1
proof
[(triple1)]
("mouse" "is" "round" "+")
triple1
The mouse is not round.
False
1
inv-proof
[(triple1)]
("mouse" "is" "round" "-")
triple1
The mouse is not green.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "is" "green" "-")
((triple1) -> (rule1 % int1))
The mouse is not green.
("mouse" "is" "green" "-")
int1
The mouse is green.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "is" "green" "+")
((triple1) -> (rule1 % int1))
The mouse is not green.
("mouse" "is" "green" "-")
int1
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The mouse is round.[(triple1)] @1: The mouse is not green.[(((triple1) -> rule1))]
The mouse is round.
("mouse" "is" "round" "+")
triple1
The mouse is not green.
("mouse" "is" "green" "-")
((triple1) -> (rule1 % int1))
The mouse is not green.
("mouse" "is" "green" "-")
int1