Erin is quiet. Fiona is kind. Gary is quiet. Harry is cold. If someone is kind and blue then they are cold. If someone is rough then they are round. All cold people are rough. If Harry is blue then Harry is cold. If Erin is rough then Erin is round. Rough people are kind.
Erin is not quiet.
@0: Erin is quiet.[(triple1)] Fiona is kind.[(triple2)] Gary is quiet.[(triple3)] Harry is cold.[(triple4)] @1: Harry is rough.[(((triple4) -> rule3))] @2: Harry is kind.[(((((triple4) -> rule3)) -> rule6))] Harry is round.[(((((triple4) -> rule3)) -> rule2))]