Charlie is big. Erin is rough. Fiona is big. Harry is big. All smart, rough people are nice. If someone is nice then they are white. If someone is big then they are nice. Kind, rough people are quiet. If Erin is white and Erin is nice then Erin is big. If Fiona is big and Fiona is white then Fiona is kind.
Fiona is not quiet.
@0: Charlie is big.[(triple1)] Erin is rough.[(triple2)] Fiona is big.[(triple3)] Harry is big.[(triple4)] @1: Charlie is nice.[(((triple1) -> rule3))] Fiona is nice.[(((triple3) -> rule3))] Harry is nice.[(((triple4) -> rule3))] @2: Charlie is white.[(((((triple1) -> rule3)) -> rule2))] Fiona is white.[(((((triple3) -> rule3)) -> rule2))] Harry is white.[(((((triple4) -> rule3)) -> rule2))] @3: Fiona is kind.[(((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule6))]