Anne is big. Anne is blue. Anne is young. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is young. Dave is round. Fiona is blue. Fiona is quiet. Fiona is not round. Fiona is young. If someone is smart and green then they are big. If someone is young and round then they are big. Round people are quiet. If Anne is big then Anne is not round. Blue people are green. If someone is round and blue then they are green. If someone is quiet then they are blue. If Anne is young and Anne is round then Anne is green. If someone is green then they are young.
Dave is not young.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is young.[(triple3 OR ((((triple2) -> rule5)) -> rule9))] Charlie is blue.[(triple4 OR ((triple6) -> rule7))] Charlie is green.[(triple5 OR ((triple4) -> rule5) OR ((((triple6) -> rule7)) -> rule5))] Charlie is quiet.[(triple6)] Charlie is young.[(triple7 OR ((triple5) -> rule9) OR ((((triple4) -> rule5)) -> rule9) OR ((((((triple6) -> rule7)) -> rule5)) -> rule9))] Dave is round.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule7))] Fiona is not round.[(triple11)] Fiona is quiet.[(triple10)] Fiona is young.[(triple12 OR ((((triple9) -> rule5)) -> rule9) OR ((((((triple10) -> rule7)) -> rule5)) -> rule9))] @1: Anne is green.[(((triple2) -> rule5))] Anne is not round.[(((triple1) -> rule4))] Dave is quiet.[(((triple8) -> rule3))] Fiona is green.[(((triple9) -> rule5) OR ((((triple10) -> rule7)) -> rule5))] @2: Dave is blue.[(((((triple8) -> rule3)) -> rule7))] @3: Dave is green.[(((((((triple8) -> rule3)) -> rule7)) -> rule5) OR ((triple8 ((((triple8) -> rule3)) -> rule7)) -> rule6))] @4: Dave is young.[(((((((((triple8) -> rule3)) -> rule7)) -> rule5)) -> rule9) OR ((((triple8 ((((triple8) -> rule3)) -> rule7)) -> rule6)) -> rule9))] @5: Dave is big.[(((((((((((triple8) -> rule3)) -> rule7)) -> rule5)) -> rule9) triple8) -> rule2) OR ((((((triple8 ((((triple8) -> rule3)) -> rule7)) -> rule6)) -> rule9) triple8) -> rule2))]