Erin is cold. Erin is green. Erin is quiet. Erin is not red. Erin is rough. Erin is smart. Erin is young. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. All quiet people are young. Rough, cold people are smart. If someone is quiet and smart then they are cold. All smart people are rough. Smart people are rough. If someone is green and not smart then they are not red.
Erin is quiet.
@0: Erin is cold.[(triple1 OR ((triple3 triple6) -> rule3))] Erin is green.[(triple2)] Erin is not red.[(triple4)] Erin is quiet.[(triple3)] Erin is rough.[(triple5 OR ((triple6) -> rule4) OR ((triple6) -> rule5))] Erin is smart.[(triple6 OR ((triple5 triple1) -> rule2))] Erin is young.[(triple7 OR ((triple3) -> rule1))] Fiona is cold.[(triple8 OR ((triple10 triple13) -> rule3))] Fiona is not green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((triple13) -> rule4) OR ((triple13) -> rule5))] Fiona is smart.[(triple13 OR ((triple12 triple8) -> rule2))] Fiona is young.[(triple14 OR ((triple10) -> rule1))]