Bob is not round. Erin is big. If Bob is green and Bob is not blue then Bob is smart. Big people are green. All round, blue people are smart. All round, big people are not smart. Smart people are round. Smart, nice people are round. If Erin is not big and Erin is not white then Erin is nice. Green people are nice.
Erin is green.
@0: Bob is not round.[(triple1)] Erin is big.[(triple2)] @1: Erin is green.[(((triple2) -> rule2))] @2: Erin is nice.[(((((triple2) -> rule2)) -> rule8))]