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 does not eat the mouse.
@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)]