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