Bob is cold. Bob is quiet. Bob is rough. Bob is smart. Erin is not blue. Erin is cold. Erin is not round. Harry is blue. Harry is not cold. Harry is rough. Harry is round. Harry is smart. If Bob is quiet then Bob is blue. All green things are round. If Harry is blue then Harry is not quiet.
Harry is not round.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Erin is cold.[(triple6)] Erin is not blue.[(triple5)] Erin is not round.[(triple7)] Harry is blue.[(triple8)] Harry is not cold.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Bob is blue.[(((triple2) -> rule1))] Harry is not quiet.[(((triple8) -> rule3))]