Erin is cold. Erin is round. Erin is young. Fiona is smart. Fiona is young. Gary is quiet. Gary is white. Gary is young. Harry is cold. Harry is quiet. If someone is rough then they are cold. Round people are smart. All white, cold people are young. If Fiona is smart and Fiona is quiet then Fiona is rough. If Harry is rough and Harry is young then Harry is round. If someone is cold then they are rough. If someone is rough then they are white.
Fiona is round.
@0: Erin is cold.[(triple1)] Erin is round.[(triple2)] Erin is young.[(triple3 OR ((((((triple1) -> rule6)) -> rule7) triple1) -> rule3))] Fiona is smart.[(triple4)] Fiona is young.[(triple5)] Gary is quiet.[(triple6)] Gary is white.[(triple7)] Gary is young.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is rough.[(((triple1) -> rule6))] Erin is smart.[(((triple2) -> rule2))] Harry is rough.[(((triple9) -> rule6))] @2: Erin is white.[(((((triple1) -> rule6)) -> rule7))] Harry is white.[(((((triple9) -> rule6)) -> rule7))] @3: Harry is young.[(((((((triple9) -> rule6)) -> rule7) triple9) -> rule3))] @4: Harry is round.[(((((triple9) -> rule6) ((((((triple9) -> rule6)) -> rule7) triple9) -> rule3)) -> rule5))] @5: Harry is smart.[(((((((triple9) -> rule6) ((((((triple9) -> rule6)) -> rule7) triple9) -> rule3)) -> rule5)) -> rule2))]