The mouse is blue. The mouse is kind. The mouse is not nice. The mouse is red. The mouse is round. Red things are blue. Red things are blue. Red things are not nice. All red things are round. If the mouse is not red and the mouse is not nice then the mouse is blue. All nice, blue things are kind.
The mouse is nice.
@0: The mouse is blue.[(triple1 OR ((triple4) -> rule1) OR ((triple4) -> rule2))] The mouse is kind.[(triple2)] The mouse is not nice.[(triple3 OR ((triple4) -> rule3))] The mouse is red.[(triple4)] The mouse is round.[(triple5 OR ((triple4) -> rule4))]