Bob is cold. Bob is green. Bob is nice. Bob is not round. Bob is white. Dave is blue. Dave is cold. Dave is green. Dave is white. Erin is not blue. Erin is young. Harry is green. Harry is nice. Harry is round. Harry is white. If Erin is round and Erin is blue then Erin is white. If someone is cold and round then they are blue. All white people are cold. If Harry is round and Harry is white then Harry is cold. If someone is green then they are young. If Harry is cold and Harry is not nice then Harry is green.
Dave is not round.
@0: Bob is cold.[(triple1 OR ((triple5) -> rule3))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not round.[(triple4)] Bob is white.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7 OR ((triple9) -> rule3))] Dave is green.[(triple8)] Dave is white.[(triple9)] Erin is not blue.[(triple10)] Erin is young.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Bob is young.[(((triple2) -> rule5))] Dave is young.[(((triple8) -> rule5))] Harry is cold.[(((triple15) -> rule3) OR ((triple14 triple15) -> rule4))] Harry is young.[(((triple12) -> rule5))] @2: Harry is blue.[(((((triple15) -> rule3) triple14) -> rule2) OR ((((triple14 triple15) -> rule4) triple14) -> rule2))]