Anne is quiet. Anne is red. Anne is round. Bob is kind. Bob is rough. Bob is round. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is round. Fiona is blue. Fiona is quiet. Fiona is red. If something is green then it is round.
Fiona is not round.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Bob is kind.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13 OR ((triple8) -> rule1))] Fiona is blue.[(triple14)] Fiona is quiet.[(triple15)] Fiona is red.[(triple16)]