The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse is rough. If someone is green and nice then they are rough. If the mouse is cold and the mouse is big then the mouse is nice. If the mouse is nice then the mouse is rough. If the mouse is cold then the mouse is rough. If the mouse is nice then the mouse is rough. If someone is cold then they are nice.
The mouse is not cold.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4 OR ((triple2) -> rule6) OR ((triple2 triple1) -> rule2))] The mouse is rough.[(triple5 OR ((triple2) -> rule4) OR ((triple4) -> rule3) OR ((triple4) -> rule5) OR ((triple3 triple4) -> rule1) OR ((((triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule6)) -> rule5) OR ((((triple2 triple1) -> rule2)) -> rule3) OR ((((triple2 triple1) -> rule2)) -> rule5) OR ((triple3 ((triple2) -> rule6)) -> rule1) OR ((triple3 ((triple2 triple1) -> rule2)) -> rule1))]