Charlie is nice. Erin is round. Fiona is kind. Harry is nice. Cold, nice people are not big. Green, kind people are big. If someone is round then they are big. If Erin is blue and Erin is round then Erin is not nice. All nice people are kind. All nice, kind people are round. If someone is cold and not green then they are not nice. If Erin is not nice then Erin is not big.
Charlie is not round.
@0: Charlie is nice.[(triple1)] Erin is round.[(triple2)] Fiona is kind.[(triple3)] Harry is nice.[(triple4)] @1: Charlie is kind.[(((triple1) -> rule5))] Erin is big.[(((triple2) -> rule3))] Harry is kind.[(((triple4) -> rule5))] @2: Charlie is round.[(((triple1 ((triple1) -> rule5)) -> rule6))] Harry is round.[(((triple4 ((triple4) -> rule5)) -> rule6))] @3: Charlie is big.[(((((triple1 ((triple1) -> rule5)) -> rule6)) -> rule3))] Harry is big.[(((((triple4 ((triple4) -> rule5)) -> rule6)) -> rule3))]