Bob is big. Bob is blue. Bob is kind. Charlie is blue. Charlie is cold. Charlie is rough. Charlie is round. Rough, blue people are kind. If someone is rough then they are kind.
Bob is round.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] @1: Charlie is kind.[(((triple6) -> rule2) OR ((triple6 triple4) -> rule1))]