Anne is not big. Anne is blue. Anne is green. Anne is kind. Anne is rough. Anne is white. Charlie is kind. Charlie is not quiet. Charlie is rough. Fiona is kind. Fiona is quiet. Fiona is white. If someone is quiet then they are green. All kind people are white. Green people are blue.
Fiona is not big.
@0: Anne is blue.[(triple2 OR ((triple3) -> rule3))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule2))] Charlie is kind.[(triple7)] Charlie is not quiet.[(triple8)] Charlie is rough.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12 OR ((triple10) -> rule2))] @1: Charlie is white.[(((triple7) -> rule2))] Fiona is green.[(((triple11) -> rule1))] @2: Fiona is blue.[(((((triple11) -> rule1)) -> rule3))]