The mouse is blue. The mouse is green. The mouse is kind. The mouse is rough. The mouse is young. All green, blue things are kind. Young things are blue. If the mouse is kind then the mouse is blue. If something is young and rough then it is kind. All kind, young things are blue. All rough things are green.
The mouse does not see the mouse.
@0: The mouse is blue.[(triple1 OR ((triple3) -> rule3) OR ((triple5) -> rule2) OR ((triple3 triple5) -> rule5) OR ((((triple5 triple4) -> rule4)) -> rule3) OR ((((triple5 triple4) -> rule4) triple5) -> rule5))] The mouse is green.[(triple2 OR ((triple4) -> rule6))] The mouse is kind.[(triple3 OR ((triple2 triple1) -> rule1) OR ((triple5 triple4) -> rule4) OR ((triple2 ((triple5) -> rule2)) -> rule1) OR ((((triple4) -> rule6) triple1) -> rule1) OR ((((triple4) -> rule6) ((triple5) -> rule2)) -> rule1))] The mouse is rough.[(triple4)] The mouse is young.[(triple5)]