Erin is round. Fiona is not red. Fiona is smart. All red, big people are kind. All red people are kind. All furry people are kind. If Fiona is kind and Fiona is not young then Fiona is furry. Round people are not smart. Furry, young people are smart.
Erin is big.
@0: Erin is round.[(triple1)] Fiona is not red.[(triple2)] Fiona is smart.[(triple3)] @1: Erin is not smart.[(((triple1) -> rule5))]