Bob is cold. Bob is nice. Bob is round. Erin is nice. Erin is quiet. Erin is not round. Erin is white. Fiona is blue. Fiona is nice. Fiona is white. All quiet, white things are not green. All green things are cold. If something is cold and not green then it is round.
Bob is white.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Erin is nice.[(triple4)] Erin is not round.[(triple6)] Erin is quiet.[(triple5)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] @1: Erin is not green.[(((triple5 triple7) -> rule1))]