The mouse is blue. The mouse is green. The mouse is nice. The mouse is rough. The mouse is round. All nice, green people are blue.
The mouse is green.
@0: The mouse is blue.[(triple1 OR ((triple3 triple2) -> rule1))] The mouse is green.[(triple2)] The mouse is nice.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]