Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is white. Erin is big. Erin is cold. Erin is green. Erin is red. Fiona is big. Fiona is cold. Fiona is green. Fiona is red. Fiona is white. If Fiona is quiet and Fiona is green then Fiona is cold. All nice people are big.
Fiona is quiet.
@0: Dave is big.[(triple1 OR ((triple4) -> rule2))] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is red.[(triple11)] Fiona is big.[(triple12)] Fiona is cold.[(triple13)] Fiona is green.[(triple14)] Fiona is red.[(triple15)] Fiona is white.[(triple16)]