The cat is cold. The cat is kind. The cat is red. The cat is rough. The cat is young. All young people are rough. All cold, rough people are red.
The cat does not need the cat.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is red.[(triple3 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple5) -> rule1)) -> rule2))] The cat is rough.[(triple4 OR ((triple5) -> rule1))] The cat is young.[(triple5)]