Bob is cold. Bob is round. Bob is young. Erin is cold. Erin is young. Harry is big. Harry is kind. If something is round then it is cold. Cold, round things are white.
Erin is kind.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule1))] Bob is round.[(triple2)] Bob is young.[(triple3)] Erin is cold.[(triple4)] Erin is young.[(triple5)] Harry is big.[(triple6)] Harry is kind.[(triple7)] @1: Bob is white.[(((triple1 triple2) -> rule2) OR ((((triple2) -> rule1) triple2) -> rule2))]