The mouse is big. The mouse is green. The mouse is kind. The mouse is rough. The mouse is young. If someone is kind then they are green.
The mouse is young.
@0: The mouse is big.[(triple1)] The mouse is green.[(triple2 OR ((triple3) -> rule1))] The mouse is kind.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5)]