Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is rough. Anne is round. Anne is white. Erin is big. Erin is blue. Erin is kind. Erin is quiet. Erin is not rough. Erin is round. Erin is white. If something is white and not quiet then it is not blue. Rough things are kind. Round, big things are kind.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple6 triple1) -> rule3))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is kind.[(triple10 OR ((triple13 triple8) -> rule3))] Erin is not rough.[(triple12)] Erin is quiet.[(triple11)] Erin is round.[(triple13)] Erin is white.[(triple14)]