The mouse is green. If someone is big then they are nice. All big people are green. All round, green people are nice. If someone is round then they are green. If someone is blue and nice then they are green. If the mouse is green then the mouse is blue.
The mouse is not blue.
@0: The mouse is green.[(triple1)] @1: The mouse is blue.[(((triple1) -> rule6))]