Charlie is quiet. Charlie is red. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Fiona is big. Fiona is cold. Gary is big. Gary is cold. Gary is furry. Gary is quiet. Gary is red. Green things are nice.
Fiona is green.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Erin is big.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7 OR ((triple6) -> rule1))] Erin is quiet.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15)]