Bob is smart. Erin is round. Fiona is round. Harry is young. If Erin is round and Erin is rough then Erin is not young. If Erin is green then Erin is young. All young, rough things are not round. If Erin is round and Erin is young then Erin is not cold. If something is smart then it is not nice. If something is cold and not green then it is young.
Fiona is not round.
@0: Bob is smart.[(triple1)] Erin is round.[(triple2)] Fiona is round.[(triple3)] Harry is young.[(triple4)] @1: Bob is not nice.[(((triple1) -> rule5))]