The cat is big. The cat is kind. The cat is round. All round people are kind. Blue, cold people are round. If the cat is cold and the cat is kind then the cat is blue. All blue, round people are cold. All big people are round. Round, cold people are big.
The cat is not round.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2 OR ((triple3) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] The cat is round.[(triple3 OR ((triple1) -> rule5))]