The mouse is big. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. If the mouse is young then the mouse is big.
The mouse sees the mouse.
@0: The mouse is big.[(triple1 OR ((triple5) -> rule1))] The mouse is red.[(triple2)] The mouse is rough.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)]