The dog is green. Young people are round. If someone is cold then they are round. All green people are cold. If someone is big then they are young. If the dog is cold and the dog is round then the dog is big. Round people are big.
The dog is not cold.
@0: The dog is green.[(triple1)] @1: The dog is cold.[(((triple1) -> rule3))] @2: The dog is round.[(((((triple1) -> rule3)) -> rule2))] @3: The dog is big.[(((((((triple1) -> rule3)) -> rule2)) -> rule6) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5))] @4: The dog is young.[(((((((((triple1) -> rule3)) -> rule2)) -> rule6)) -> rule4) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule5)) -> rule4))]