The mouse is blue. The mouse is green. The mouse is kind. The mouse is red. The mouse is rough. Blue, rough things are red. Red, blue things are rough. If the mouse is green and the mouse is blue then the mouse is rough.
The mouse chases the mouse.
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse is red.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple2 triple1) -> rule3)) -> rule1))] The mouse is rough.[(triple5 OR ((triple2 triple1) -> rule3) OR ((triple4 triple1) -> rule2))]