Bob is cold. Bob is furry. Bob is quiet. Bob is rough. Charlie is smart. Fiona is cold. Fiona is kind. Fiona is rough. Harry is cold. Harry is white. If someone is smart then they are kind.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Charlie is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8)] Harry is cold.[(triple9)] Harry is white.[(triple10)] @1: Charlie is kind.[(((triple5) -> rule1))]