Erin is big. Erin is green. Erin is nice. Erin is red. Erin is rough. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. All nice, red people are smart. If someone is smart then they are cold.
Erin is not smart.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Fiona is cold.[(triple6 OR ((triple10) -> rule2))] Fiona is green.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Erin is smart.[(((triple3 triple4) -> rule1))] @2: Erin is cold.[(((((triple3 triple4) -> rule1)) -> rule2))]