The mouse is big. The mouse is blue. The mouse is green. The mouse is kind. The mouse is young. If someone is big and not blue then they are young. All blue people are young. All big people are young. If someone is big and kind then they are young. If someone is young and not big then they are kind. All green people are kind. If someone is young then they are green. If someone is kind and not big then they are green.
The mouse eats the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is green.[(triple3 OR ((triple5) -> rule7) OR ((((triple1) -> rule3)) -> rule7) OR ((((triple2) -> rule2)) -> rule7) OR ((((triple1 triple4) -> rule4)) -> rule7))] The mouse is kind.[(triple4 OR ((triple3) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((((triple1) -> rule3)) -> rule7)) -> rule6) OR ((((((triple2) -> rule2)) -> rule7)) -> rule6))] The mouse is young.[(triple5 OR ((triple1) -> rule3) OR ((triple2) -> rule2) OR ((triple1 triple4) -> rule4) OR ((triple1 ((triple3) -> rule6)) -> rule4))]