The mouse is blue. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is not young. If the mouse is blue then the mouse is nice. If someone is kind and not young then they are rough. If someone is rough and nice then they are blue.
The mouse does not chase the mouse.
@0: The mouse is blue.[(triple1 OR ((triple4 triple3) -> rule3) OR ((((triple2 triple5) -> rule2) triple3) -> rule3))] The mouse is kind.[(triple2)] The mouse is nice.[(triple3 OR ((triple1) -> rule1))] The mouse is not young.[(triple5)] The mouse is rough.[(triple4 OR ((triple2 triple5) -> rule2))]