Charlie is green. Charlie is white. Erin is young. Fiona is blue. Fiona is green. Harry is big. Harry is green. Young, green people are not kind. Big, green people are kind. All white, big people are blue. Smart people are blue. Kind people are not smart. If someone is young and blue then they are smart. Blue people are big. If someone is blue and young then they are green.
Fiona is not white.
@0: Charlie is green.[(triple1)] Charlie is white.[(triple2)] Erin is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] @1: Fiona is big.[(((triple4) -> rule7))] Harry is kind.[(((triple6 triple7) -> rule2))] @2: Fiona is kind.[(((((triple4) -> rule7) triple5) -> rule2))] Harry is not smart.[(((((triple6 triple7) -> rule2)) -> rule5))] @3: Fiona is not smart.[(((((((triple4) -> rule7) triple5) -> rule2)) -> rule5))]