Bob is not cold. Erin is big. Fiona is cold. If Fiona is big and Fiona is not green then Fiona is blue. All big people are young. All green people are cold. Blue people are cold. If Fiona is blue and Fiona is young then Fiona is big. All young, big people are smart. If Erin is smart and Erin is not green then Erin is kind. If Bob is blue and Bob is young then Bob is smart.
Fiona is not young.
@0: Bob is not cold.[(triple1)] Erin is big.[(triple2)] Fiona is cold.[(triple3)] @1: Erin is young.[(((triple2) -> rule2))] @2: Erin is smart.[(((((triple2) -> rule2) triple2) -> rule6))]