Erin is big. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Erin is round. Erin is smart. Fiona is big. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Gary is big. Big, round things are smart.
Fiona is big.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple1 triple6) -> rule1))] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14 OR ((triple8 triple13) -> rule1))] Gary is big.[(triple15)]