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