Anne is green. Anne is kind. Anne is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is smart. Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. Smart, quiet things are kind. If something is quiet then it is smart. If something is rough and quiet then it is kind.
Anne is not blue.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7 OR ((triple10 triple8) -> rule1) OR ((triple9 triple8) -> rule3) OR ((((triple8) -> rule2) triple8) -> rule1))] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule2))] Gary is blue.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13 OR ((triple15 triple14) -> rule3) OR ((triple16 triple14) -> rule1) OR ((((triple14) -> rule2) triple14) -> rule1))] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16 OR ((triple14) -> rule2))]