Anne is blue. Anne is smart. Anne is white. Quiet people are big. Blue people are quiet. White people are quiet. Kind, furry people are quiet. Big people are smart. If Anne is big and Anne is quiet then Anne is furry. All kind people are quiet. If someone is quiet then they are blue.
Anne is not big.
@0: Anne is blue.[(triple1 OR ((((triple3) -> rule3)) -> rule8))] Anne is smart.[(triple2 OR ((((((triple1) -> rule2)) -> rule1)) -> rule5) OR ((((((triple3) -> rule3)) -> rule1)) -> rule5))] Anne is white.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2) OR ((triple3) -> rule3))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] @3: Anne is furry.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule2)) -> rule1) ((triple3) -> rule3)) -> rule6) OR ((((((triple3) -> rule3)) -> rule1) ((triple1) -> rule2)) -> rule6) OR ((((((triple3) -> rule3)) -> rule1) ((triple3) -> rule3)) -> rule6))]