Erin is smart. Fiona is big. Fiona is not cold. Fiona is green. Fiona is red. Fiona is smart. Fiona is young. Gary is green. Gary is not young. Harry is young. Smart people are green. All cold people are smart. If someone is smart and not red then they are not blue.
Erin is smart.
@0: Erin is smart.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple4 OR ((triple6) -> rule1))] Fiona is not cold.[(triple3)] Fiona is red.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Gary is green.[(triple8)] Gary is not young.[(triple9)] Harry is young.[(triple10)] @1: Erin is green.[(((triple1) -> rule1))]