Anne is big. Anne is furry. Anne is quiet. Bob is furry. Bob is nice. Bob is quiet. Erin is not big. Erin is cold. Erin is furry. Erin is quiet. Erin is smart. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is not young. If something is big then it is young. Big, furry things are quiet. If something is big and smart then it is cold. If something is smart and not big then it is nice. Young things are smart. If something is young and not quiet then it is smart.
Bob is not cold.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1 triple2) -> rule2))] Bob is furry.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Erin is cold.[(triple8)] Erin is furry.[(triple9)] Erin is not big.[(triple7)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is nice.[(triple14)] Fiona is not young.[(triple15)] @1: Anne is young.[(((triple1) -> rule1))] Erin is nice.[(((triple11 triple7) -> rule4))] @2: Anne is smart.[(((((triple1) -> rule1)) -> rule5))] @3: Anne is cold.[(((triple1 ((((triple1) -> rule1)) -> rule5)) -> rule3))]