Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is not smart. Fiona is white. If someone is quiet then they are cold. All nice people are white. If someone is white then they are nice.
Erin is cold.
@0: Erin is cold.[(triple1 OR ((triple4) -> rule1))] Erin is green.[(triple2)] Erin is nice.[(triple3 OR ((triple7) -> rule3))] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple3) -> rule2))] Fiona is cold.[(triple8 OR ((triple11) -> rule1))] Fiona is green.[(triple9)] Fiona is nice.[(triple10 OR ((triple14) -> rule3))] Fiona is not smart.[(triple13)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] Fiona is white.[(triple14 OR ((triple10) -> rule2))]