The mouse is big. The mouse is blue. The mouse is green. The mouse is rough. The mouse is round. If someone is big and round then they are green. Rough, blue people are round.
The mouse does not chase the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is green.[(triple3 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple4 triple2) -> rule2)) -> rule1))] The mouse is rough.[(triple4)] The mouse is round.[(triple5 OR ((triple4 triple2) -> rule2))]