Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is quiet. Erin is round. Erin is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is young. Quiet people are blue. All big people are young. If Fiona is cold then Fiona is blue. If Fiona is cold and Fiona is round then Fiona is big. All blue, big people are young. All cold people are quiet.
Erin is furry.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple5) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is quiet.[(triple5 OR ((triple3) -> rule6))] Erin is round.[(triple6)] Erin is young.[(triple7 OR ((triple1) -> rule2) OR ((triple2 triple1) -> rule5) OR ((((triple5) -> rule1) triple1) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) triple1) -> rule5))] Fiona is big.[(triple8 OR ((triple10 triple13) -> rule4))] Fiona is blue.[(triple9 OR ((triple10) -> rule3) OR ((triple12) -> rule1) OR ((((triple10) -> rule6)) -> rule1))] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is quiet.[(triple12 OR ((triple10) -> rule6))] Fiona is round.[(triple13)] Fiona is young.[(triple14 OR ((triple8) -> rule2) OR ((triple9 triple8) -> rule5) OR ((((triple10 triple13) -> rule4)) -> rule2) OR ((triple9 ((triple10 triple13) -> rule4)) -> rule5) OR ((((triple10) -> rule3) triple8) -> rule5) OR ((((triple12) -> rule1) triple8) -> rule5) OR ((((triple10) -> rule3) ((triple10 triple13) -> rule4)) -> rule5) OR ((((triple12) -> rule1) ((triple10 triple13) -> rule4)) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) triple8) -> rule5) OR ((((((triple10) -> rule6)) -> rule1) ((triple10 triple13) -> rule4)) -> rule5))]