Anne is quiet. Erin is blue. Fiona is big. Blue, smart people are big. Blue people are kind. Blue, nice people are big. All blue, big people are smart. All kind, nice people are smart. If someone is kind then they are nice.
Fiona is quiet.
@0: Anne is quiet.[(triple1)] Erin is blue.[(triple2)] Fiona is big.[(triple3)] @1: Erin is kind.[(((triple2) -> rule2))] @2: Erin is nice.[(((((triple2) -> rule2)) -> rule6))] @3: Erin is big.[(((triple2 ((((triple2) -> rule2)) -> rule6)) -> rule3) OR ((triple2 ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule5)) -> rule1))] Erin is smart.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6)) -> rule5) OR ((triple2 ((triple2 ((((triple2) -> rule2)) -> rule6)) -> rule3)) -> rule4))]