The cat is round. Blue things are big. All nice things are big. All round things are nice. If the cat is big then the cat is rough. If something is blue then it is round. All rough things are round. All big, rough things are round. If the cat is big then the cat is nice.
The cat is big.
@0: The cat is round.[(triple1)] @1: The cat is nice.[(((triple1) -> rule3))] @2: The cat is big.[(((((triple1) -> rule3)) -> rule2))] @3: The cat is rough.[(((((((triple1) -> rule3)) -> rule2)) -> rule4))]