Bob is not furry. Erin is smart. Fiona is rough. Harry is not young. If someone is white then they are furry. All smart people are white. Kind people are not big. Kind, smart people are young. If someone is smart and not big then they are young. All furry people are young.
Harry is white.
@0: Bob is not furry.[(triple1)] Erin is smart.[(triple2)] Fiona is rough.[(triple3)] Harry is not young.[(triple4)] @1: Erin is white.[(((triple2) -> rule2))] @2: Erin is furry.[(((((triple2) -> rule2)) -> rule1))] @3: Erin is young.[(((((((triple2) -> rule2)) -> rule1)) -> rule6))]