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