Charlie is young. Erin is round. Fiona is smart. Harry is blue. If Charlie is furry and Charlie is not big then Charlie is not smart. If Charlie is big and Charlie is round then Charlie is furry. If something is round and young then it is blue. All young things are round. If Fiona is not young then Fiona is not blue. If Fiona is red and Fiona is not big then Fiona is blue.
Fiona is smart.
@0: Charlie is young.[(triple1)] Erin is round.[(triple2)] Fiona is smart.[(triple3)] Harry is blue.[(triple4)] @1: Charlie is round.[(((triple1) -> rule4))] @2: Charlie is blue.[(((((triple1) -> rule4) triple1) -> rule3))]