Bob is big. Bob is white. Bob is young. Erin is big. Erin is quiet. Erin is young. Harry is big. Harry is furry. Harry is quiet. Harry is rough. Harry is white. Harry is young. Rough, young things are kind. All white things are furry. Furry things are rough.
Erin is not furry.
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Erin is big.[(triple4)] Erin is quiet.[(triple5)] Erin is young.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8 OR ((triple11) -> rule2))] Harry is quiet.[(triple9)] Harry is rough.[(triple10 OR ((triple8) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Bob is furry.[(((triple2) -> rule2))] Harry is kind.[(((triple10 triple12) -> rule1) OR ((((triple8) -> rule3) triple12) -> rule1) OR ((((((triple11) -> rule2)) -> rule3) triple12) -> rule1))] @2: Bob is rough.[(((((triple2) -> rule2)) -> rule3))] @3: Bob is kind.[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1))]