Charlie is smart. Erin is white. Fiona is smart. Harry is not smart. If something is kind and smart then it is green. If something is round and nice then it is not green. Quiet things are green. All nice things are kind. Nice things are smart. All round, smart things are nice. Smart things are nice. If something is green then it is quiet.
Fiona is white.
@0: Charlie is smart.[(triple1)] Erin is white.[(triple2)] Fiona is smart.[(triple3)] Harry is not smart.[(triple4)] @1: Charlie is nice.[(((triple1) -> rule7))] Fiona is nice.[(((triple3) -> rule7))] @2: Charlie is kind.[(((((triple1) -> rule7)) -> rule4))] Fiona is kind.[(((((triple3) -> rule7)) -> rule4))] @3: Charlie is green.[(((((((triple1) -> rule7)) -> rule4) triple1) -> rule1))] Fiona is green.[(((((((triple3) -> rule7)) -> rule4) triple3) -> rule1))] @4: Charlie is quiet.[(((((((((triple1) -> rule7)) -> rule4) triple1) -> rule1)) -> rule8))] Fiona is quiet.[(((((((((triple3) -> rule7)) -> rule4) triple3) -> rule1)) -> rule8))]