Bob is big. Bob is furry. Bob is white. Erin is furry. Erin is rough. Harry is furry. Harry is quiet. If something is young then it is big. If something is kind and quiet then it is white. White things are rough. If something is furry then it is kind. Young, rough things are kind. All big, quiet things are furry.
Erin is young.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3)] Erin is furry.[(triple4)] Erin is rough.[(triple5)] Harry is furry.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is kind.[(((triple2) -> rule4))] Bob is rough.[(((triple3) -> rule3))] Erin is kind.[(((triple4) -> rule4))] Harry is kind.[(((triple6) -> rule4))] @2: Harry is white.[(((((triple6) -> rule4) triple7) -> rule2))] @3: Harry is rough.[(((((((triple6) -> rule4) triple7) -> rule2)) -> rule3))]