Bob is smart. Bob is white. Erin is cold. Erin is green. Erin is not red. Erin is rough. Erin is white. Erin is young. Fiona is not cold. Fiona is red. Fiona is white. Fiona is not young. If something is cold and not red then it is rough. Green things are white.
Fiona is smart.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is not red.[(triple5)] Erin is rough.[(triple6 OR ((triple3 triple5) -> rule1))] Erin is white.[(triple7 OR ((triple4) -> rule2))] Erin is young.[(triple8)] Fiona is not cold.[(triple9)] Fiona is not young.[(triple12)] Fiona is red.[(triple10)] Fiona is white.[(triple11)]