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 not red.
@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)]