Bob is red. Erin is big. Fiona is big. Harry is kind. Furry things are smart. All smart things are quiet. Big things are furry.
Harry is not big.
@0: Bob is red.[(triple1)] Erin is big.[(triple2)] Fiona is big.[(triple3)] Harry is kind.[(triple4)] @1: Erin is furry.[(((triple2) -> rule3))] Fiona is furry.[(((triple3) -> rule3))] @2: Erin is smart.[(((((triple2) -> rule3)) -> rule1))] Fiona is smart.[(((((triple3) -> rule3)) -> rule1))] @3: Erin is quiet.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))] Fiona is quiet.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]