The mouse is big. The mouse is kind. The mouse is round. If the mouse is rough then the mouse is round. If someone is round then they are kind. Rough people are big. All rough people are big. If the mouse is kind then the mouse is rough. If someone is rough then they are cold. If the mouse is rough then the mouse is kind. If the mouse is rough then the mouse is big.
The mouse does not chase the mouse.
@0: The mouse is big.[(triple1 OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule5)) -> rule8) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3) -> rule2)) -> rule5)) -> rule8))] The mouse is kind.[(triple2 OR ((triple3) -> rule2))] The mouse is round.[(triple3 OR ((((triple2) -> rule5)) -> rule1))] @1: The mouse is rough.[(((triple2) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] @2: The mouse is cold.[(((((triple2) -> rule5)) -> rule6) OR ((((((triple3) -> rule2)) -> rule5)) -> rule6))]