Anne is green. Anne is quiet. Anne is smart. Anne is white. Anne is young. Charlie is green. Gary is quiet. If someone is big and smart then they are green. Smart people are white. If Anne is furry and Anne is green then Anne is big. Furry, green people are young. If Charlie is young then Charlie is big. Furry, big people are quiet. If someone is smart and young then they are furry. All furry people are smart.
Charlie is not young.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2 OR ((((triple3 triple5) -> rule7) ((((triple3 triple5) -> rule7) triple1) -> rule3)) -> rule6))] Anne is smart.[(triple3)] Anne is white.[(triple4 OR ((triple3) -> rule2))] Anne is young.[(triple5)] Charlie is green.[(triple6)] Gary is quiet.[(triple7)] @1: Anne is furry.[(((triple3 triple5) -> rule7))] @2: Anne is big.[(((((triple3 triple5) -> rule7) triple1) -> rule3))]