Bob is blue. Bob is nice. Erin is not round. Erin is smart. Erin is young. Fiona is rough. Fiona is young. Gary is nice. Gary is quiet. Gary is young. All young things are quiet. If Gary is quiet and Gary is blue then Gary is young. If Fiona is not rough then Fiona is young. All rough things are not blue. All blue, quiet things are smart. If something is rough and quiet then it is smart. If something is quiet then it is smart. If Fiona is smart then Fiona is quiet.
Erin is not smart.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Erin is not round.[(triple3)] Erin is smart.[(triple4 OR ((((triple5) -> rule1)) -> rule7))] Erin is young.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9 OR ((triple10) -> rule1))] Gary is young.[(triple10)] @1: Erin is quiet.[(((triple5) -> rule1))] Fiona is not blue.[(((triple6) -> rule4))] Fiona is quiet.[(((triple7) -> rule1))] Gary is smart.[(((triple9) -> rule7) OR ((((triple10) -> rule1)) -> rule7))] @2: Fiona is smart.[(((((triple7) -> rule1)) -> rule7) OR ((triple6 ((triple7) -> rule1)) -> rule6))]