Bob is green. Erin is not quiet. Fiona is quiet. Harry is not green. Quiet people are not red. All quiet people are green. Green people are young. Big people are quiet. Green people are big. Blue, young people are big. If someone is young and not red then they are white. Young, big people are white.
Harry is not blue.
@0: Bob is green.[(triple1)] Erin is not quiet.[(triple2)] Fiona is quiet.[(triple3)] Harry is not green.[(triple4)] @1: Bob is big.[(((triple1) -> rule5))] Bob is young.[(((triple1) -> rule3))] Fiona is green.[(((triple3) -> rule2))] Fiona is not red.[(((triple3) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule5)) -> rule4))] Bob is white.[(((((triple1) -> rule3) ((triple1) -> rule5)) -> rule8) OR ((((triple1) -> rule3) ((((((triple1) -> rule5)) -> rule4)) -> rule1)) -> rule7))] Fiona is big.[(((((triple3) -> rule2)) -> rule5))] Fiona is young.[(((((triple3) -> rule2)) -> rule3))] @3: Bob is not red.[(((((((triple1) -> rule5)) -> rule4)) -> rule1))] Fiona is white.[(((((((triple3) -> rule2)) -> rule3) ((triple3) -> rule1)) -> rule7) OR ((((((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule5)) -> rule8))]