Bob is blue. Bob is nice. Bob is white. Charlie is nice. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Harry is nice. Harry is white. White people are round. If someone is young then they are white. Smart people are white.
Harry is nice.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Charlie is nice.[(triple4)] Charlie is round.[(triple5 OR ((triple7) -> rule1) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple8) -> rule2)) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple6) -> rule3) OR ((triple8) -> rule2))] Charlie is young.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Bob is round.[(((triple3) -> rule1))] Harry is round.[(((triple10) -> rule1))]