Bob is furry. Bob is quiet. Bob is rough. Bob is round. Charlie is big. Charlie is quiet. Charlie is rough. Charlie is white. Charlie is young. Harry is quiet. Harry is round. Harry is white. Big people are young. If someone is round and white then they are young. If someone is young then they are furry.
Harry is big.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Charlie is big.[(triple5)] Charlie is quiet.[(triple6)] Charlie is rough.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9 OR ((triple5) -> rule1))] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12)] @1: Charlie is furry.[(((triple9) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] Harry is young.[(((triple11 triple12) -> rule2))] @2: Harry is furry.[(((((triple11 triple12) -> rule2)) -> rule3))]