Bob is quiet. Erin is furry. All red, kind things are big. If Bob is quiet then Bob is red. Round, red things are cold. Kind, furry things are quiet. All cold things are quiet. Kind things are furry. Cold things are big. All red, quiet things are kind.
Erin is not furry.
@0: Bob is quiet.[(triple1)] Erin is furry.[(triple2)] @1: Bob is red.[(((triple1) -> rule2))] @2: Bob is kind.[(((((triple1) -> rule2) triple1) -> rule8))] @3: Bob is big.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule8)) -> rule1))] Bob is furry.[(((((((triple1) -> rule2) triple1) -> rule8)) -> rule6))]