Bob is white. Fiona is white. Harry is not quiet. If something is young then it is not round. Rough things are round. If Bob is round then Bob is cold. If Fiona is white then Fiona is cold. All white things are rough. Young, round things are rough. All cold things are rough. If Fiona is rough then Fiona is quiet.
Fiona is rough.
@0: Bob is white.[(triple1)] Fiona is white.[(triple2)] Harry is not quiet.[(triple3)] @1: Bob is rough.[(((triple1) -> rule5))] Fiona is cold.[(((triple2) -> rule4))] Fiona is rough.[(((triple2) -> rule5) OR ((((triple2) -> rule4)) -> rule7))] @2: Bob is round.[(((((triple1) -> rule5)) -> rule2))] Fiona is quiet.[(((((triple2) -> rule5)) -> rule8) OR ((((((triple2) -> rule4)) -> rule7)) -> rule8))] Fiona is round.[(((((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule4)) -> rule7)) -> rule2))] @3: Bob is cold.[(((((((triple1) -> rule5)) -> rule2)) -> rule3))]