The mouse is big. The mouse is not cold. The mouse is nice. The mouse is round. The mouse is young. If something is round and not young then it is nice. Young, round things are not cold.
The mouse is not round.
@0: The mouse is big.[(triple1)] The mouse is nice.[(triple3)] The mouse is not cold.[(triple2 OR ((triple5 triple4) -> rule2))] The mouse is round.[(triple4)] The mouse is young.[(triple5)]