Bob is big. Bob is cold. Bob is green. Charlie is round. Fiona is green. Fiona is nice. Fiona is round. All quiet people are green. Smart people are cold. All round people are quiet.
Fiona is not green.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Charlie is round.[(triple4)] Fiona is green.[(triple5 OR ((((triple7) -> rule3)) -> rule1))] Fiona is nice.[(triple6)] Fiona is round.[(triple7)] @1: Charlie is quiet.[(((triple4) -> rule3))] Fiona is quiet.[(((triple7) -> rule3))] @2: Charlie is green.[(((((triple4) -> rule3)) -> rule1))]