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