The mouse is big. The mouse is green. The mouse is red. The mouse is rough. The mouse is young. If something is big then it is young. If the mouse is red then the mouse is big. Big things are red. If something is green and red then it is rough. If something is rough then it is green. If the mouse is big then the mouse is rough. If the mouse is green and the mouse is not red then the mouse is rough. If the mouse is not red then the mouse is green.
The mouse visits the mouse.
@0: The mouse is big.[(triple1 OR ((triple3) -> rule2))] The mouse is green.[(triple2 OR ((triple4) -> rule5) OR ((((triple1) -> rule6)) -> rule5) OR ((((((triple3) -> rule2)) -> rule6)) -> rule5))] The mouse is red.[(triple3 OR ((triple1) -> rule3))] The mouse is rough.[(triple4 OR ((triple1) -> rule6) OR ((triple2 triple3) -> rule4) OR ((((triple3) -> rule2)) -> rule6) OR ((triple2 ((triple1) -> rule3)) -> rule4))] The mouse is young.[(triple5 OR ((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))]