Erin is nice. Erin is rough. Fiona is nice. Blue, big people are rough. All nice people are rough. If Fiona is rough and Fiona is big then Fiona is smart. All nice, green people are big. If someone is quiet then they are big. If someone is smart then they are blue. If Fiona is blue then Fiona is quiet. If Fiona is quiet and Fiona is big then Fiona is nice.
Erin is smart.
@0: Erin is nice.[(triple1)] Erin is rough.[(triple2 OR ((triple1) -> rule2))] Fiona is nice.[(triple3)] @1: Fiona is rough.[(((triple3) -> rule2))]