Erin is cold. Erin is rough. Erin is round. Erin is smart. Fiona is cold. Fiona is not nice. Fiona is not rough. Fiona is round. Fiona is smart. Fiona is young. Rough things are young. If something is rough then it is cold. All nice things are smart. All young things are green. If something is round and not cold then it is green. If something is round and not smart then it is green.
Fiona is round.
@0: Erin is cold.[(triple1 OR ((triple2) -> rule2))] Erin is rough.[(triple2)] Erin is round.[(triple3)] Erin is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is not nice.[(triple6)] Fiona is not rough.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Erin is young.[(((triple2) -> rule1))] Fiona is green.[(((triple10) -> rule4))] @2: Erin is green.[(((((triple2) -> rule1)) -> rule4))]