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 does not like the cow.
@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))]