The cow is big. Round people are young. If someone is kind then they are big. Big, young people are nice. Kind, young people are nice. Kind, big people are round. If someone is big then they are round. If someone is young then they are not kind. If the cow is young then the cow is big.
The cow is big.
@0: The cow is big.[(triple1)] @1: The cow is round.[(((triple1) -> rule6))] @2: The cow is young.[(((((triple1) -> rule6)) -> rule1))] @3: The cow is nice.[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule3))] The cow is not kind.[(((((((triple1) -> rule6)) -> rule1)) -> rule7))]