Erin is cold. Erin is not green. Erin is quiet. Erin is not rough. Erin is round. Erin is white. Erin is young. Fiona is green. Fiona is not white. Harry is not cold. Harry is not green. Harry is quiet. Harry is rough. Harry is round. Harry is white. Harry is young. If something is green and quiet then it is cold. If Fiona is young then Fiona is quiet. If something is cold then it is not rough. If Erin is rough then Erin is not quiet. All white things are round. All cold, rough things are quiet. If Fiona is white then Fiona is green. If something is green and not white then it is young.
Erin is young.
@0: Erin is cold.[(triple1)] Erin is not green.[(triple2)] Erin is not rough.[(triple4 OR ((triple1) -> rule3))] Erin is quiet.[(triple3)] Erin is round.[(triple5 OR ((triple6) -> rule5))] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is green.[(triple8)] Fiona is not white.[(triple9)] Harry is not cold.[(triple10)] Harry is not green.[(triple11)] Harry is quiet.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14 OR ((triple15) -> rule5))] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Fiona is young.[(((triple8 triple9) -> rule8))] @2: Fiona is quiet.[(((((triple8 triple9) -> rule8)) -> rule2))] @3: Fiona is cold.[(((triple8 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule1))] @4: Fiona is not rough.[(((((triple8 ((((triple8 triple9) -> rule8)) -> rule2)) -> rule1)) -> rule3))]