Bob is furry. Erin is furry. Fiona is round. Harry is nice. If Fiona is round then Fiona is nice. Blue, green things are nice. All smart things are green. Round things are furry. If Fiona is nice and Fiona is blue then Fiona is green. If something is blue then it is smart. All round, green things are blue. Nice, cold things are smart.
Bob is cold.
@0: Bob is furry.[(triple1)] Erin is furry.[(triple2)] Fiona is round.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is furry.[(((triple3) -> rule4))] Fiona is nice.[(((triple3) -> rule1))]