Anne is big. Anne is blue. Anne is cold. Erin is blue. Erin is kind. Erin is nice. Erin is quiet. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is white. Gary is cold. Gary is kind. Gary is nice. Gary is white. All blue things are big. If Fiona is white then Fiona is kind. All nice, quiet things are kind.
Anne is nice.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple5 OR ((triple6 triple7) -> rule3))] Erin is nice.[(triple6)] Erin is quiet.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is kind.[(triple10 OR ((triple11) -> rule2))] Fiona is white.[(triple11)] Gary is cold.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is white.[(triple15)] @1: Erin is big.[(((triple4) -> rule1))] Fiona is big.[(((triple8) -> rule1))]