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