The mouse is blue. The mouse is cold. The mouse is green. The mouse is nice. The mouse is rough. If something is blue then it is nice. Green things are nice.
The mouse is blue.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4 OR ((triple1) -> rule1) OR ((triple3) -> rule2))] The mouse is rough.[(triple5)]