Anne is smart. Anne is young. Bob is quiet. If someone is smart then they are white. All round, smart people are young. All smart people are big. If Bob is smart and Bob is quiet then Bob is white. If someone is green and young then they are big. If someone is young then they are smart. White people are green. If someone is quiet then they are young.
Anne is not green.
@0: Anne is smart.[(triple1 OR ((triple2) -> rule6))] Anne is young.[(triple2)] Bob is quiet.[(triple3)] @1: Anne is big.[(((triple1) -> rule3) OR ((((triple2) -> rule6)) -> rule3) OR ((((((triple1) -> rule1)) -> rule7) triple2) -> rule5) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule7) triple2) -> rule5))] Anne is white.[(((triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule1))] Bob is young.[(((triple3) -> rule8))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule7) OR ((((((triple2) -> rule6)) -> rule1)) -> rule7))] Bob is smart.[(((((triple3) -> rule8)) -> rule6))] @3: Bob is big.[(((((((triple3) -> rule8)) -> rule6)) -> rule3) OR ((((((((((triple3) -> rule8)) -> rule6)) -> rule1)) -> rule7) ((triple3) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule8)) -> rule6) triple3) -> rule4)) -> rule7) ((triple3) -> rule8)) -> rule5))] Bob is white.[(((((((triple3) -> rule8)) -> rule6)) -> rule1) OR ((((((triple3) -> rule8)) -> rule6) triple3) -> rule4))] @4: Bob is green.[(((((((((triple3) -> rule8)) -> rule6)) -> rule1)) -> rule7) OR ((((((((triple3) -> rule8)) -> rule6) triple3) -> rule4)) -> rule7))]