The mouse is big. The mouse is cold. The mouse is nice. The mouse is rough. The mouse is young. If the mouse is cold and the mouse is big then the mouse is young. If the mouse is young then the mouse is rough. If the mouse is young and the mouse is big then the mouse is rough.
The mouse does not see the mouse.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is nice.[(triple3)] The mouse is rough.[(triple4 OR ((triple5) -> rule2) OR ((triple5 triple1) -> rule3) OR ((((triple2 triple1) -> rule1)) -> rule2) OR ((((triple2 triple1) -> rule1) triple1) -> rule3))] The mouse is young.[(triple5 OR ((triple2 triple1) -> rule1))]