Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is smart. Erin is white. Erin is young. Fiona is big. Fiona is green. Fiona is smart. White people are cold. All blue, big people are smart. If Erin is big then Erin is cold.
Fiona is not green.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple1) -> rule3) OR ((triple6) -> rule1))] Erin is green.[(triple4)] Erin is smart.[(triple5 OR ((triple2 triple1) -> rule2))] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is smart.[(triple10)]