The mouse is big. The mouse is green. The mouse is kind. The mouse is not nice. The mouse is red. If something is big and not green then it is not red. Green things are red. Red things are big. If the mouse is red and the mouse is big then the mouse is not nice. All kind things are not nice. If something is nice and not red then it is kind.
The mouse is kind.
@0: The mouse is big.[(triple1 OR ((triple5) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse is not nice.[(triple4 OR ((triple3) -> rule5) OR ((triple5 triple1) -> rule4) OR ((triple5 ((triple5) -> rule3)) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4) OR ((((triple2) -> rule2) ((triple5) -> rule3)) -> rule4) OR ((triple5 ((((triple2) -> rule2)) -> rule3)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule4))] The mouse is red.[(triple5 OR ((triple2) -> rule2))]