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