The mouse is blue. The mouse is kind. The mouse is young. All young, kind things are round. If the mouse is round then the mouse is blue. If something is cold and not kind then it is young.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is young.
("mouse" "is" "young" "+")
All young, kind things are round.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If the mouse is round then the mouse is blue.
((("mouse" "is" "round" "+")) -> ("mouse" "is" "blue" "+"))
If something is cold and not kind then it is young.
((("something" "is" "cold" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "+"))
The mouse is blue.
True
1
proof
[(triple1 OR ((((triple3 triple2) -> rule1)) -> rule2))]
("mouse" "is" "blue" "+")
triple1
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is not kind.
False
1
inv-proof
[(triple2)]
("mouse" "is" "kind" "-")
triple2
The mouse is round.
True
3
proof
[(((triple3 triple2) -> rule1))]
("mouse" "is" "round" "+")
((triple3 triple2) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not round.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("mouse" "is" "round" "-")
((triple3 triple2) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
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 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 OR ((((triple3 triple2) -> rule1)) -> rule2))] The mouse is kind.[(triple2)] The mouse is young.[(triple3)] @1: The mouse is round.[(((triple3 triple2) -> rule1))]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse is round.
("mouse" "is" "round" "+")
((triple3 triple2) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1