The mouse is blue. The mouse is nice. The mouse is rough. The mouse is round. The mouse is young. Round, rough things are young. If something is blue then it is young. Nice, round things are rough.
The mouse chases the mouse.
@0: The mouse is blue.[(triple1)] The mouse is nice.[(triple2)] The mouse is rough.[(triple3 OR ((triple2 triple4) -> rule3))] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple1) -> rule2) OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple2 triple4) -> rule3)) -> rule1))]