The mouse is big. The mouse is not blue. The mouse is nice. The mouse is red. The mouse is young. All young things are nice.
The mouse is big.
@0: The mouse is big.[(triple1)] The mouse is nice.[(triple3 OR ((triple5) -> rule1))] The mouse is not blue.[(triple2)] The mouse is red.[(triple4)] The mouse is young.[(triple5)]