Anne is cold. Anne is rough. Anne is young. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is young. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Quiet, kind things are young.
Anne is blue.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Bob is young.[(triple10 OR ((triple8 triple7) -> rule1))] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Erin is furry.[(triple13)] Erin is kind.[(triple14)] Erin is quiet.[(triple15)] Erin is rough.[(triple16)] @1: Erin is young.[(((triple15 triple14) -> rule1))]