Bob is kind. Bob is not quiet. Bob is rough. Bob is young. Erin is quiet. Erin is rough. Erin is round. Erin is young. Fiona is cold. Fiona is quiet. Fiona is not round. Fiona is young. If something is cold then it is white. Cold things are quiet. White things are kind.
Fiona is white.
@0: Bob is kind.[(triple1)] Bob is not quiet.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is round.[(triple7)] Erin is young.[(triple8)] Fiona is cold.[(triple9)] Fiona is not round.[(triple11)] Fiona is quiet.[(triple10 OR ((triple9) -> rule2))] Fiona is young.[(triple12)] @1: Fiona is white.[(((triple9) -> rule1))] @2: Fiona is kind.[(((((triple9) -> rule1)) -> rule3))]