The mouse is blue. The mouse is kind. The mouse is rough. If the mouse is kind and the mouse is round then the mouse is blue. All round, blue things are rough. Kind things are blue. All round, rough things are kind. Blue, rough things are round. If the mouse is kind then the mouse is blue.
The mouse does not need the mouse.
@0: The mouse is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple2) -> rule6))] The mouse is kind.[(triple2 OR ((((triple1 triple3) -> rule5) triple3) -> rule4))] The mouse is rough.[(triple3)] @1: The mouse is round.[(((triple1 triple3) -> rule5) OR ((((triple2) -> rule3) triple3) -> rule5) OR ((((triple2) -> rule6) triple3) -> rule5))]