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