Anne is big. Anne is kind. Anne is smart. Anne is young. Erin is big. Erin is nice. Erin is quiet. Erin is smart. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Harry is young. If something is nice and smart then it is kind.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Erin is big.[(triple5)] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Erin is smart.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11 OR ((triple12 triple14) -> rule1))] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Erin is kind.[(((triple6 triple8) -> rule1))]