Bob is cold. Bob is kind. Bob is nice. Bob is young. Gary is cold. Gary is rough. Harry is cold. Harry is not kind. Harry is round. Harry is smart. All rough, nice people are cold. If Harry is rough then Harry is cold. If someone is kind then they are rough.
Bob is nice.
@0: Bob is cold.[(triple1 OR ((((triple2) -> rule3) triple3) -> rule1))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Gary is cold.[(triple5)] Gary is rough.[(triple6)] Harry is cold.[(triple7)] Harry is not kind.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Bob is rough.[(((triple2) -> rule3))]