The mouse is big. The mouse is blue. The mouse is green. The mouse is red. The mouse is rough. If the mouse is big then the mouse is red. If the mouse is green and the mouse is rough then the mouse is red. If someone is big and not green then they are rough. If someone is blue and green then they are rough. Red, green people are big. Big, green people are red.
The mouse does not see the mouse.
@0: The mouse is big.[(triple1 OR ((triple4 triple3) -> rule5) OR ((((triple3 triple5) -> rule2) triple3) -> rule5) OR ((((triple3 ((triple2 triple3) -> rule4)) -> rule2) triple3) -> rule5))] The mouse is blue.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4 OR ((triple1) -> rule1) OR ((triple1 triple3) -> rule6) OR ((triple3 triple5) -> rule2) OR ((triple3 ((triple2 triple3) -> rule4)) -> rule2))] The mouse is rough.[(triple5 OR ((triple2 triple3) -> rule4))]