The mouse is big. The mouse is nice. The mouse is rough. The mouse is round. The mouse is young. Young things are round. If the mouse is young then the mouse is big. All rough, young things are nice.
The mouse does not see the mouse.
@0: The mouse is big.[(triple1 OR ((triple5) -> rule2))] The mouse is nice.[(triple2 OR ((triple3 triple5) -> rule3))] The mouse is rough.[(triple3)] The mouse is round.[(triple4 OR ((triple5) -> rule1))] The mouse is young.[(triple5)]