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