Erin is cold. Erin is furry. Erin is quiet. Erin is young. Fiona is rough. Fiona is smart. Gary is quiet. All cold, quiet things are big. Young things are furry. All cold, smart things are quiet. Smart, big things are young. If Gary is big and Gary is cold then Gary is quiet. If something is rough and smart then it is cold.
Gary is big.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple4) -> rule2))] Erin is quiet.[(triple3)] Erin is young.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Gary is quiet.[(triple7)] @1: Erin is big.[(((triple1 triple3) -> rule1))] Fiona is cold.[(((triple5 triple6) -> rule6))] @2: Fiona is quiet.[(((((triple5 triple6) -> rule6) triple6) -> rule3))] @3: Fiona is big.[(((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6) triple6) -> rule3)) -> rule1))] @4: Fiona is young.[(((triple6 ((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6) triple6) -> rule3)) -> rule1)) -> rule4))] @5: Fiona is furry.[(((((triple6 ((((triple5 triple6) -> rule6) ((((triple5 triple6) -> rule6) triple6) -> rule3)) -> rule1)) -> rule4)) -> rule2))]