Charlie is big. Erin is furry. Fiona is smart. Harry is nice. If something is big and nice then it is blue. All furry things are kind.
Charlie is big.
@0: Charlie is big.[(triple1)] Erin is furry.[(triple2)] Fiona is smart.[(triple3)] Harry is nice.[(triple4)] @1: Erin is kind.[(((triple2) -> rule2))]