The mouse is big. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is red. If the mouse is nice then the mouse is big. If someone is kind then they are cold. Cold people are nice.
The mouse is cold.
@0: The mouse is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule1) OR ((((((triple3) -> rule2)) -> rule3)) -> rule1))] The mouse is cold.[(triple2 OR ((triple3) -> rule2))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4 OR ((triple2) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] The mouse is red.[(triple5)]