The mouse is big. The mouse is blue. The mouse is kind. The mouse is red. The mouse is rough. If the mouse is kind and the mouse is not big then the mouse is not red. If the mouse is blue and the mouse is not big then the mouse is not rough. If the mouse is red then the mouse is rough. If the mouse is kind then the mouse is blue. All kind, big things are blue. If something is blue and not big then it is rough. All kind, big things are red. If the mouse is rough then the mouse is kind.
The mouse likes the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple3) -> rule4) OR ((triple3 triple1) -> rule5) OR ((((triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule8) triple1) -> rule5) OR ((((((triple4) -> rule3)) -> rule8)) -> rule4) OR ((((((triple4) -> rule3)) -> rule8) triple1) -> rule5))] The mouse is kind.[(triple3 OR ((triple5) -> rule8) OR ((((triple4) -> rule3)) -> rule8))] The mouse is red.[(triple4 OR ((triple3 triple1) -> rule7) OR ((((triple5) -> rule8) triple1) -> rule7))] The mouse is rough.[(triple5 OR ((triple4) -> rule3) OR ((((triple3 triple1) -> rule7)) -> rule3))]