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