The mouse is cold. The mouse is green. The mouse is round. If the mouse is cold and the mouse is round then the mouse is big. Big, red people are green. Red people are big. Big people are round. All red people are round. All cold, green people are big.
The mouse sees the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is round.[(triple3 OR ((((triple1 triple2) -> rule6)) -> rule4))] @1: The mouse is big.[(((triple1 triple2) -> rule6) OR ((triple1 triple3) -> rule1))]