Erin is kind. Erin is nice. Erin is round. Erin is not smart. Harry is nice. Harry is red. Harry is smart. All red, blue things are not round. All nice, smart things are not blue. If Erin is nice and Erin is young then Erin is blue.
Harry is red.
@0: Erin is kind.[(triple1)] Erin is nice.[(triple2)] Erin is not smart.[(triple4)] Erin is round.[(triple3)] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is smart.[(triple7)] @1: Harry is not blue.[(((triple5 triple7) -> rule2))]