The cat is blue. The cat is cold. The cat is not kind. The cat is nice. The cat is round. Round, nice people are not kind. All blue, round people are cold.
The cat does not chase the cat.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2 OR ((triple1 triple5) -> rule2))] The cat is nice.[(triple4)] The cat is not kind.[(triple3 OR ((triple5 triple4) -> rule1))] The cat is round.[(triple5)]