The mouse is not big. The mouse is blue. The mouse is kind. The mouse is nice. The mouse is round. If the mouse is blue and the mouse is big then the mouse is not nice. If someone is blue and not big then they are nice. Kind people are nice. All big people are round. If the mouse is kind and the mouse is big then the mouse is blue. Big people are blue. If the mouse is not blue then the mouse is not round. If the mouse is kind then the mouse is round.
The mouse is not big.
@0: The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse is nice.[(triple4 OR ((triple3) -> rule3) OR ((triple2 triple1) -> rule2))] The mouse is not big.[(triple1)] The mouse is round.[(triple5 OR ((triple3) -> rule8))]