Bob is furry. Dave is rough. Fiona is furry. All furry, quiet people are red. Furry people are red. Furry people are red. If Fiona is red then Fiona is white. All quiet, rough people are young. If someone is young then they are rough.
Dave is furry.
@0: Bob is furry.[(triple1)] Dave is rough.[(triple2)] Fiona is furry.[(triple3)] @1: Bob is red.[(((triple1) -> rule2) OR ((triple1) -> rule3))] Fiona is red.[(((triple3) -> rule2) OR ((triple3) -> rule3))] @2: Fiona is white.[(((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule3)) -> rule4))]