Anne is big. Anne is cold. Anne is rough. Dave is cold. Dave is smart. Dave is white. Fiona is big. Fiona is not cold. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Gary is quiet. Gary is rough. Gary is round. Gary is smart. If someone is quiet then they are white. Quiet people are white. All big people are quiet. All cold, round people are smart. Round, cold people are smart. Big people are rough. Round, cold people are rough. If someone is smart and not round then they are cold.
Gary is not round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule6))] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7)] Fiona is not cold.[(triple8)] Fiona is quiet.[(triple9 OR ((triple7) -> rule3))] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12 OR ((triple9) -> rule1) OR ((triple9) -> rule2) OR ((((triple7) -> rule3)) -> rule1) OR ((((triple7) -> rule3)) -> rule2))] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16)] @1: Anne is quiet.[(((triple1) -> rule3))] Fiona is rough.[(((triple7) -> rule6))] Gary is white.[(((triple13) -> rule1) OR ((triple13) -> rule2))] @2: Anne is white.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule2))]