The mouse is big. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is young. Big things are nice. If something is young and kind then it is blue. All kind, nice things are big.
The mouse does not need the mouse.
@0: The mouse is big.[(triple1 OR ((triple3 triple4) -> rule3))] The mouse is blue.[(triple2 OR ((triple5 triple3) -> rule2))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4 OR ((triple1) -> rule1))] The mouse is young.[(triple5)]