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