Anne is blue. Anne is green. Anne is quiet. Anne is red. Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is young. All blue things are green. If Anne is not red then Anne is not smart. If Anne is red and Anne is big then Anne is not blue. Red, blue things are quiet. Green, blue things are quiet. If something is young and not blue then it is smart. Big, red things are smart. If something is big then it is smart.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple1) -> rule1))] Anne is quiet.[(triple3 OR ((triple2 triple1) -> rule5) OR ((triple4 triple1) -> rule4) OR ((((triple1) -> rule1) triple1) -> rule5))] Anne is red.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is green.[(triple7 OR ((triple6) -> rule1))] Bob is quiet.[(triple8 OR ((triple7 triple6) -> rule5) OR ((triple9 triple6) -> rule4) OR ((((triple6) -> rule1) triple6) -> rule5))] Bob is red.[(triple9)] Bob is young.[(triple10)] @1: Bob is smart.[(((triple5) -> rule8) OR ((triple5 triple9) -> rule7))]