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