The cat is red. Rough people are round. All rough people are round. If the cat is round then the cat is rough. If the cat is not nice then the cat is rough. If the cat is red then the cat is rough. All young, round people are rough. All round people are rough. If someone is round then they are young.
The cat is not round.
@0: The cat is red.[(triple1)] @1: The cat is rough.[(((triple1) -> rule5))] @2: The cat is round.[(((((triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule5)) -> rule2))] @3: The cat is young.[(((((((triple1) -> rule5)) -> rule1)) -> rule8) OR ((((((triple1) -> rule5)) -> rule2)) -> rule8))]