Anne is green. Anne is round. Anne is white. Dave is rough. Dave is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is round. Fiona is white. All white, green people are quiet. If Fiona is rough then Fiona is kind. If someone is round then they are white. All kind, quiet people are big. Kind, white people are big. Rough, quiet people are kind.
Fiona is not kind.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule3))] Dave is rough.[(triple4)] Dave is round.[(triple5)] Fiona is big.[(triple6 OR ((triple8 triple10) -> rule5) OR ((triple8 ((triple9) -> rule3)) -> rule5) OR ((triple8 ((triple10 triple7) -> rule1)) -> rule4) OR ((triple8 ((((triple9) -> rule3) triple7) -> rule1)) -> rule4))] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10 OR ((triple9) -> rule3))] @1: Anne is quiet.[(((triple3 triple1) -> rule1) OR ((((triple2) -> rule3) triple1) -> rule1))] Dave is white.[(((triple5) -> rule3))] Fiona is quiet.[(((triple10 triple7) -> rule1) OR ((((triple9) -> rule3) triple7) -> rule1))]