The mouse is big. The mouse is cold. The mouse is not kind. The mouse is nice. The mouse is not rough. If the mouse is rough and the mouse is not nice then the mouse is cold. If the mouse is not nice then the mouse is kind. All rough people are not kind. If the mouse is kind and the mouse is cold then the mouse is big. If someone is nice and not kind then they are big. All kind, rough people are big. All nice, big people are cold. If someone is big and not nice then they are not cold.
The mouse is cold.
@0: The mouse is big.[(triple1 OR ((triple4 triple3) -> rule5))] The mouse is cold.[(triple2 OR ((triple4 triple1) -> rule7) OR ((triple4 ((triple4 triple3) -> rule5)) -> rule7))] The mouse is nice.[(triple4)] The mouse is not kind.[(triple3)] The mouse is not rough.[(triple5)]