Bob is furry. Fiona is rough. If Fiona is rough then Fiona is smart. All furry people are smart. If Bob is smart and Bob is kind then Bob is white. If someone is smart then they are quiet. All quiet, young people are white. If someone is quiet then they are white.
Fiona is white.
@0: Bob is furry.[(triple1)] Fiona is rough.[(triple2)] @1: Bob is smart.[(((triple1) -> rule2))] Fiona is smart.[(((triple2) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule4))] Fiona is quiet.[(((((triple2) -> rule1)) -> rule4))] @3: Bob is white.[(((((((triple1) -> rule2)) -> rule4)) -> rule6))] Fiona is white.[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]