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