Anne is round. Bob is blue. Fiona is smart. Gary is not cold. All smart, furry things are red. If something is round and quiet then it is furry. Round things are smart. Furry things are not cold. If something is cold and not round then it is blue. If something is smart then it is quiet.
Anne is not smart.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2)] Fiona is smart.[(triple3)] Gary is not cold.[(triple4)] @1: Anne is smart.[(((triple1) -> rule3))] Fiona is quiet.[(((triple3) -> rule6))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is furry.[(((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule2))] @4: Anne is not cold.[(((((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule4))] Anne is red.[(((((triple1) -> rule3) ((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule2)) -> rule1))]