The mouse is big. The mouse is cold. The mouse is not green. The mouse is kind. The mouse is red. If the mouse is not big then the mouse is not cold. If the mouse is big and the mouse is kind then the mouse is cold. If the mouse is green and the mouse is big then the mouse is kind. All green people are kind. If someone is red and not kind then they are not cold. If someone is kind and not big then they are not red. If someone is cold then they are red. If someone is cold and not big then they are red.
The mouse does not need the mouse.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2 OR ((triple1 triple4) -> rule2))] The mouse is kind.[(triple4)] The mouse is not green.[(triple3)] The mouse is red.[(triple5 OR ((triple2) -> rule7) OR ((((triple1 triple4) -> rule2)) -> rule7))]