Erin is furry. Erin is green. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Gary is big. Gary is cold. Gary is green. Gary is young. All red things are green. All furry things are young. If Fiona is green then Fiona is furry. If something is red and young then it is big. Big things are quiet. If Gary is furry and Gary is young then Gary is cold. All quiet, green things are cold. If Erin is green then Erin is cold.
Gary is furry.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4 OR ((triple6 triple5) -> rule7) OR ((((triple3) -> rule5) triple5) -> rule7))] Fiona is green.[(triple5)] Fiona is quiet.[(triple6 OR ((triple3) -> rule5))] Gary is big.[(triple7)] Gary is cold.[(triple8 OR ((((triple7) -> rule5) triple9) -> rule7))] Gary is green.[(triple9)] Gary is young.[(triple10)] @1: Erin is cold.[(((triple2) -> rule8))] Erin is young.[(((triple1) -> rule2))] Fiona is furry.[(((triple5) -> rule3))] Gary is quiet.[(((triple7) -> rule5))] @2: Fiona is young.[(((((triple5) -> rule3)) -> rule2))]