Bob is rough. Charlie is not furry. Charlie is not kind. Charlie is quiet. Charlie is rough. Charlie is smart. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Harry is furry. Harry is kind. Harry is rough. Harry is smart. If Bob is rough then Bob is round. Round people are furry.
Bob is quiet.
@0: Bob is rough.[(triple1)] Charlie is not furry.[(triple2)] Charlie is not kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Fiona is furry.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)] @1: Bob is round.[(((triple1) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule1)) -> rule2))]