The mouse is blue. The mouse is green. The mouse is not kind. The mouse is red. The mouse is rough. Kind, rough things are blue. All kind things are not blue. Red, blue things are rough. All kind, blue things are not rough. If something is rough then it is not kind. If something is red and rough then it is green.
The mouse is blue.
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2 OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple4 triple1) -> rule3)) -> rule6))] The mouse is not kind.[(triple3 OR ((triple5) -> rule5) OR ((((triple4 triple1) -> rule3)) -> rule5))] The mouse is red.[(triple4)] The mouse is rough.[(triple5 OR ((triple4 triple1) -> rule3))]