Charlie is blue. Charlie is kind. Erin is kind. Erin is smart. Fiona is smart. Harry is big. Harry is rough. If something is smart then it is nice. If something is smart then it is blue. If something is rough and not young then it is smart. If Charlie is young then Charlie is not nice. If something is young and blue then it is rough. If Fiona is young and Fiona is nice then Fiona is smart.
Harry is rough.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Erin is kind.[(triple3)] Erin is smart.[(triple4)] Fiona is smart.[(triple5)] Harry is big.[(triple6)] Harry is rough.[(triple7)] @1: Erin is blue.[(((triple4) -> rule2))] Erin is nice.[(((triple4) -> rule1))] Fiona is blue.[(((triple5) -> rule2))] Fiona is nice.[(((triple5) -> rule1))]