Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is round. Erin is smart. Fiona is green. Fiona is smart. Harry is blue. Harry is quiet. Harry is rough. Harry is round. All smart people are round. If Harry is quiet and Harry is cold then Harry is blue. If Harry is rough and Harry is smart then Harry is blue. If someone is blue then they are smart. If someone is rough then they are round. All smart people are green. All rough people are blue. If someone is round then they are smart.
Harry is round.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3 OR ((triple6) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple5) -> rule8)) -> rule6))] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple6) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] Erin is smart.[(triple6 OR ((triple1) -> rule4) OR ((triple5) -> rule8))] Fiona is green.[(triple7 OR ((triple8) -> rule6))] Fiona is smart.[(triple8)] Harry is blue.[(triple9 OR ((triple11) -> rule7) OR ((triple11 ((triple12) -> rule8)) -> rule3) OR ((triple11 ((((triple11) -> rule5)) -> rule8)) -> rule3))] Harry is quiet.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple11) -> rule5) OR ((((triple9) -> rule4)) -> rule1) OR ((((((triple11) -> rule7)) -> rule4)) -> rule1))] @1: Fiona is round.[(((triple8) -> rule1))] Harry is smart.[(((triple12) -> rule8) OR ((triple9) -> rule4) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple11) -> rule7)) -> rule4))] @2: Harry is green.[(((((triple12) -> rule8)) -> rule6) OR ((((triple9) -> rule4)) -> rule6) OR ((((((triple11) -> rule5)) -> rule8)) -> rule6) OR ((((((triple11) -> rule7)) -> rule4)) -> rule6))]