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