Charlie is nice. Charlie is red. Erin is quiet. Fiona is not big. Fiona is red. Harry is cold. Harry is round. Nice, round people are big. If someone is big and not cold then they are red. Cold, big people are not red. All nice people are quiet. If someone is red and not cold then they are quiet. If Charlie is nice and Charlie is not big then Charlie is not quiet. All quiet people are not kind. All big, quiet people are kind.
Erin is not big.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Erin is quiet.[(triple3)] Fiona is not big.[(triple4)] Fiona is red.[(triple5)] Harry is cold.[(triple6)] Harry is round.[(triple7)] @1: Charlie is quiet.[(((triple1) -> rule4))] Erin is not kind.[(((triple3) -> rule7))] @2: Charlie is not kind.[(((((triple1) -> rule4)) -> rule7))]