The mouse is big. The mouse is kind. The mouse is not red. The mouse is round. The mouse is young. All red things are big. All red things are big. If something is red and not young then it is big. If something is round then it is not red. If something is big then it is not red. Young, big things are round.
The mouse is not round.
@0: The mouse is big.[(triple1)] The mouse is kind.[(triple2)] The mouse is not red.[(triple3 OR ((triple1) -> rule5) OR ((triple4) -> rule4) OR ((((triple5 triple1) -> rule6)) -> rule4))] The mouse is round.[(triple4 OR ((triple5 triple1) -> rule6))] The mouse is young.[(triple5)]