The cow is nice. If someone is big and cold then they are blue. If someone is nice then they are blue. If someone is nice and cold then they are green. Green people are big. All blue people are not big. If someone is green and blue then they are big. Green people are cold. All big people are cold.
The cow is not nice.
@0: The cow is nice.[(triple1)] @1: The cow is blue.[(((triple1) -> rule2))] @2: The cow is not big.[(((((triple1) -> rule2)) -> rule5))]