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