Bob is quiet. Bob is rough. Bob is round. Erin is quiet. Fiona is furry. Fiona is not quiet. Fiona is round. Gary is not blue. Gary is not furry. Gary is quiet. Blue people are rough. If Fiona is white then Fiona is not rough. If someone is round then they are blue.
Fiona is red.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2 OR ((((triple3) -> rule3)) -> rule1))] Bob is round.[(triple3)] Erin is quiet.[(triple4)] Fiona is furry.[(triple5)] Fiona is not quiet.[(triple6)] Fiona is round.[(triple7)] Gary is not blue.[(triple8)] Gary is not furry.[(triple9)] Gary is quiet.[(triple10)] @1: Bob is blue.[(((triple3) -> rule3))] Fiona is blue.[(((triple7) -> rule3))] @2: Fiona is rough.[(((((triple7) -> rule3)) -> rule1))]