The mouse is nice. The mouse is rough. The mouse is young. All nice things are blue.
The mouse is not rough.
@0: The mouse is nice.[(triple1)] The mouse is rough.[(triple2)] The mouse is young.[(triple3)] @1: The mouse is blue.[(((triple1) -> rule1))]