Erin is kind. Erin is nice. Erin is round. Fiona is not round. Gary is nice. Harry is blue. Harry is cold. Harry is nice. Harry is quiet. Harry is round. If something is white then it is blue. If Erin is blue then Erin is quiet. All blue things are cold. Cold things are round. Blue things are round. Round, white things are kind. If something is white and not cold then it is not nice. If Harry is not round then Harry is kind.
Harry is blue.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is round.[(triple3)] Fiona is not round.[(triple4)] Gary is nice.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7 OR ((triple6) -> rule3))] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10 OR ((triple6) -> rule5) OR ((triple7) -> rule4) OR ((((triple6) -> rule3)) -> rule4))]