The mouse is blue. The mouse is not kind. The mouse is red. The mouse is not round. The mouse is young. If something is young then it is blue. If something is red then it is blue. Kind things are not blue. If the mouse is round then the mouse is not young. If something is kind and not round then it is young. If the mouse is kind then the mouse is not blue.
The mouse is kind.
@0: The mouse is blue.[(triple1 OR ((triple3) -> rule2) OR ((triple5) -> rule1))] The mouse is not kind.[(triple2)] The mouse is not round.[(triple4)] The mouse is red.[(triple3)] The mouse is young.[(triple5)]