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