Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is round. Erin is smart. Erin is white. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is round. Harry is smart. Harry is white. All round things are blue. Round, furry things are white.
Harry is white.
@0: Erin is blue.[(triple1 OR ((triple5) -> rule1))] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple5 triple3) -> rule2))] Harry is blue.[(triple8 OR ((triple12) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14 OR ((triple12 triple10) -> rule2))]