The cow is big. All big people are nice. Big, kind people are red. If someone is big and nice then they are kind.
The cow is not kind.
@0: The cow is big.[(triple1)] @1: The cow is nice.[(((triple1) -> rule1))] @2: The cow is kind.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: The cow is red.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))]