Bob is not young. Erin is smart. Fiona is white. Gary is white. If something is furry and not quiet then it is young. If something is furry then it is young. Young things are white. If Fiona is quiet and Fiona is smart then Fiona is furry. All nice, smart things are furry. If something is white then it is furry.
Bob is not quiet.
@0: Bob is not young.[(triple1)] Erin is smart.[(triple2)] Fiona is white.[(triple3)] Gary is white.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule6))] Gary is furry.[(((triple4) -> rule6))] @2: Fiona is young.[(((((triple3) -> rule6)) -> rule2))] Gary is young.[(((((triple4) -> rule6)) -> rule2))]