Anne is green. Anne is quiet. Anne is rough. Dave is green. Dave is kind. Dave is smart. Erin is big. Erin is smart. Harry is big. Harry is cold. Harry is quiet. Harry is smart. If someone is big then they are quiet. If someone is big and green then they are rough. All rough, cold people are kind.
Anne is big.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is smart.[(triple6)] Erin is big.[(triple7)] Erin is smart.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] Harry is quiet.[(triple11 OR ((triple9) -> rule1))] Harry is smart.[(triple12)] @1: Erin is quiet.[(((triple7) -> rule1))]