The mouse is big. The mouse is cold. The mouse is green. The mouse is round. The mouse is young. All cold, round people are young. All big people are round. Young, green people are round.
The mouse is not round.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is round.[(triple4 OR ((triple1) -> rule2) OR ((triple5 triple3) -> rule3))] The mouse is young.[(triple5 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple1) -> rule2)) -> rule1))]