The cat is round. Rough, nice people are green. If the cat is not round then the cat is nice. All rough people are nice. If the cat is green and the cat is round then the cat is not blue. If someone is round then they are rough. All nice people are rough.
The cat does not eat the cat.
@0: The cat is round.[(triple1)] @1: The cat is rough.[(((triple1) -> rule5))] @2: The cat is nice.[(((((triple1) -> rule5)) -> rule3))] @3: The cat is green.[(((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule1))] @4: The cat is not blue.[(((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule3)) -> rule1) triple1) -> rule4))]