The mouse is big. The mouse is blue. The mouse is nice. The mouse is not round. The mouse is young. Nice, round people are not big. Round people are blue. All round people are blue. Round people are nice. If someone is blue and young then they are not round. All blue people are not round.
The mouse does not eat the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is nice.[(triple3)] The mouse is not round.[(triple4 OR ((triple2) -> rule6) OR ((triple2 triple5) -> rule5))] The mouse is young.[(triple5)]