The mouse is big. The mouse is blue. The mouse is cold. The mouse is not kind. The mouse is round. Big, cold people are blue. If the mouse is round and the mouse is not big then the mouse is kind. Big people are not kind.
The mouse chases the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple1 triple3) -> rule1))] The mouse is cold.[(triple3)] The mouse is not kind.[(triple4 OR ((triple1) -> rule3))] The mouse is round.[(triple5)]