Bob is furry. Bob is quiet. Charlie is white. Fiona is blue. Fiona is young. Gary is not round. Gary is young. All quiet people are furry. If Charlie is not blue and Charlie is not young then Charlie is not white. If someone is blue then they are quiet. If someone is furry and young then they are round. If someone is rough and young then they are white. If someone is blue and not quiet then they are rough. Young, round people are rough.
Fiona is round.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule1))] Bob is quiet.[(triple2)] Charlie is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is young.[(triple5)] Gary is not round.[(triple6)] Gary is young.[(triple7)] @1: Fiona is quiet.[(((triple4) -> rule3))] @2: Fiona is furry.[(((((triple4) -> rule3)) -> rule1))] @3: Fiona is round.[(((((((triple4) -> rule3)) -> rule1) triple5) -> rule4))] @4: Fiona is rough.[(((triple5 ((((((triple4) -> rule3)) -> rule1) triple5) -> rule4)) -> rule7))] @5: Fiona is white.[(((((triple5 ((((((triple4) -> rule3)) -> rule1) triple5) -> rule4)) -> rule7) triple5) -> rule5))]