The mouse is big. The mouse is not blue. The mouse is nice. The mouse is round. The mouse is young. All big, young people are not blue.
The mouse needs the mouse.
@0: The mouse is big.[(triple1)] The mouse is nice.[(triple3)] The mouse is not blue.[(triple2 OR ((triple1 triple5) -> rule1))] The mouse is round.[(triple4)] The mouse is young.[(triple5)]