Bob is kind. Bob is quiet. Bob is rough. Bob is round. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Harry is cold. Harry is furry. All kind, round people are white.
Bob is kind.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Charlie is cold.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] @1: Bob is white.[(((triple1 triple4) -> rule1))] Charlie is white.[(((triple7 triple10) -> rule1))]