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