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