The cat is big. The cat is cold. The cat is kind. The cat is rough. The cat is not round. If someone is big and cold then they are rough. All rough people are big.
The cat is rough.
@0: The cat is big.[(triple1 OR ((triple4) -> rule2))] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is not round.[(triple5)] The cat is rough.[(triple4 OR ((triple1 triple2) -> rule1))]