The mouse is blue. The mouse is not cold. The mouse is green. The mouse is kind. The mouse is rough. If something is green and kind then it is blue. If something is rough and not kind then it is blue. If something is green then it is blue. All cold things are not blue. If something is green and cold then it is blue. If something is kind and not cold then it is green. All blue, kind things are green. Blue, cold things are rough.
The mouse eats the mouse.
@0: The mouse is blue.[(triple1 OR ((triple3) -> rule3) OR ((triple3 triple4) -> rule1) OR ((((triple4 triple2) -> rule6)) -> rule3) OR ((((triple4 triple2) -> rule6) triple4) -> rule1))] The mouse is green.[(triple3 OR ((triple1 triple4) -> rule7) OR ((triple4 triple2) -> rule6))] The mouse is kind.[(triple4)] The mouse is not cold.[(triple2)] The mouse is rough.[(triple5)]