The mouse is blue. The mouse is not green. The mouse is kind. The mouse is not red. The mouse is not rough. If the mouse is green then the mouse is rough. If someone is kind then they are blue.
The mouse is not red.
@0: The mouse is blue.[(triple1 OR ((triple3) -> rule2))] The mouse is kind.[(triple3)] The mouse is not green.[(triple2)] The mouse is not red.[(triple4)] The mouse is not rough.[(triple5)]