The cat is round. If someone is big then they are green. Round people are green. Rough people are young. Green, big people are rough. All round people are rough. If someone is green and not round then they are big. All young people are big. If the cat is not round then the cat is not big.
The cat is young.
@0: The cat is round.[(triple1)] @1: The cat is green.[(((triple1) -> rule2) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule7)) -> rule1))] The cat is rough.[(((triple1) -> rule5))] @2: The cat is young.[(((((triple1) -> rule5)) -> rule3))] @3: The cat is big.[(((((((triple1) -> rule5)) -> rule3)) -> rule7))]