The cat is rough. If the cat is round then the cat is rough. Round people are rough. If someone is round then they are cold. If someone is rough then they are round. All cold, red people are round. If the cat is round then the cat is cold. All rough people are red. If someone is cold and rough then they are young.
The cat is round.
@0: The cat is rough.[(triple1)] @1: The cat is red.[(((triple1) -> rule7))] The cat is round.[(((triple1) -> rule4))] @2: The cat is cold.[(((((triple1) -> rule4)) -> rule3) OR ((((triple1) -> rule4)) -> rule6))] @3: The cat is young.[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule8) OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule8))]