Erin is cold. Erin is green. Erin is white. Fiona is cold. Fiona is green. Harry is green. Harry is quiet. If something is kind and young then it is round. All green, round things are quiet. All white things are quiet. All cold things are white. Quiet things are green. If something is kind and white then it is cold. All green, quiet things are round. Quiet, young things are green.
Fiona is round.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2 OR ((((triple3) -> rule3)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3)) -> rule5))] Erin is white.[(triple3 OR ((triple1) -> rule4))] Fiona is cold.[(triple4)] Fiona is green.[(triple5 OR ((((((triple4) -> rule4)) -> rule3)) -> rule5))] Harry is green.[(triple6 OR ((triple7) -> rule5))] Harry is quiet.[(triple7)] @1: Erin is quiet.[(((triple3) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] Fiona is white.[(((triple4) -> rule4))] Harry is round.[(((triple6 triple7) -> rule7) OR ((((triple7) -> rule5) triple7) -> rule7))] @2: Erin is round.[(((triple2 ((triple3) -> rule3)) -> rule7) OR ((triple2 ((((triple1) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3) -> rule3)) -> rule5) ((triple3) -> rule3)) -> rule7) OR ((((((triple3) -> rule3)) -> rule5) ((((triple1) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule3)) -> rule5) ((triple3) -> rule3)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule3)) -> rule5) ((((triple1) -> rule4)) -> rule3)) -> rule7))] Fiona is quiet.[(((((triple4) -> rule4)) -> rule3))] @3: Fiona is round.[(((triple5 ((((triple4) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple4) -> rule4)) -> rule3)) -> rule5) ((((triple4) -> rule4)) -> rule3)) -> rule7))]