Bob is furry. Bob is quiet. Bob is rough. Dave is red. Dave is round. Fiona is kind. Fiona is round. If something is furry and quiet then it is white. If something is round then it is white. If something is furry and quiet then it is white.
Fiona is not round.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] @1: Bob is white.[(((triple1 triple2) -> rule1) OR ((triple1 triple2) -> rule3))] Dave is white.[(((triple5) -> rule2))] Fiona is white.[(((triple7) -> rule2))]