Bob is red. Bob is young. Charlie is cold. Charlie is furry. Charlie is red. Charlie is young. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is smart. Harry is young. If Harry is cold then Harry is young. Furry things are red. Young things are red.
Charlie is white.
@0: Bob is red.[(triple1 OR ((triple2) -> rule3))] Bob is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5 OR ((triple4) -> rule2) OR ((triple6) -> rule3))] Charlie is young.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is red.[(triple10 OR ((triple12) -> rule3) OR ((triple8) -> rule2) OR ((((triple7) -> rule1)) -> rule3))] Harry is smart.[(triple11)] Harry is young.[(triple12 OR ((triple7) -> rule1))]