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.
Fiona is not smart.
@0: Charlie is big.[(triple1)] Erin is furry.[(triple2)] Fiona is smart.[(triple3)] Harry is nice.[(triple4)] @1: Erin is kind.[(((triple2) -> rule2))]