The cat is big. The cat is cold. The cat is kind. The cat is not red. The cat is round. All round people are not red. Round people are big. Red people are cold.
The cat is not cold.
@0: The cat is big.[(triple1 OR ((triple5) -> rule2))] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is not red.[(triple4 OR ((triple5) -> rule1))] The cat is round.[(triple5)]