Bob is big. Bob is rough. Charlie is rough. Erin is green. Fiona is green. Fiona is kind. Fiona is quiet. All round things are quiet. If something is green then it is round. Quiet things are white.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Charlie is rough.[(triple3)] Erin is green.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7 OR ((((triple5) -> rule2)) -> rule1))] @1: Erin is round.[(((triple4) -> rule2))] Fiona is round.[(((triple5) -> rule2))] Fiona is white.[(((triple7) -> rule3) OR ((((((triple5) -> rule2)) -> rule1)) -> rule3))] @2: Erin is quiet.[(((((triple4) -> rule2)) -> rule1))] @3: Erin is white.[(((((((triple4) -> rule2)) -> rule1)) -> rule3))]