Charlie is big. Erin is round. Fiona is smart. All kind people are round. Big people are smart. If someone is smart then they are kind. If someone is furry then they are kind. All kind, furry people are big. If Fiona is big and Fiona is nice then Fiona is not cold.
Erin is smart.
@0: Charlie is big.[(triple1)] Erin is round.[(triple2)] Fiona is smart.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule2))] Fiona is kind.[(((triple3) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule2)) -> rule3))] Fiona is round.[(((((triple3) -> rule3)) -> rule1))] @3: Charlie is round.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]