Anne is big. Anne is red. Erin is cold. Erin is kind. Erin is white. Erin is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is young. Gary is cold. If Gary is young and Gary is not white then Gary is cold. If something is young and furry then it is kind. All kind, young things are big. If something is furry then it is cold. If Erin is kind then Erin is big. If Gary is not furry then Gary is red.
Anne is white.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is white.[(triple5)] Erin is young.[(triple6)] Fiona is big.[(triple7 OR ((triple10 triple11) -> rule3) OR ((((triple11 triple9) -> rule2) triple11) -> rule3))] Fiona is cold.[(triple8 OR ((triple9) -> rule4))] Fiona is furry.[(triple9)] Fiona is kind.[(triple10 OR ((triple11 triple9) -> rule2))] Fiona is young.[(triple11)] Gary is cold.[(triple12)] @1: Erin is big.[(((triple4) -> rule5) OR ((triple4 triple6) -> rule3))]