Anne is cold. Anne is quiet. Anne is round. Erin is cold. Erin is quiet. Gary is big. Gary is cold. Gary is quiet. Gary is red. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is quiet. Harry is round. Harry is young. All furry, round people are red. If someone is quiet then they are cold. If Anne is young and Anne is furry then Anne is big.
Erin is not red.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule2))] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule2))] Erin is quiet.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7 OR ((triple8) -> rule2))] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is young.[(triple11)] Harry is cold.[(triple12 OR ((triple14) -> rule2))] Harry is furry.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Harry is red.[(((triple13 triple15) -> rule1))]