Dave is big. Dave is kind. Dave is young. Erin is big. Erin is green. Erin is kind. Erin is quiet. Harry is green. Harry is kind. Harry is quiet. Harry is smart. Harry is white. Quiet things are green. Big, smart things are green. If Erin is white then Erin is green. If Erin is kind then Erin is big. If Harry is smart and Harry is not kind then Harry is not young. If something is young then it is quiet. If something is big and green then it is white. If something is green and not smart then it is not young.
Erin is not young.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4 OR ((triple6) -> rule4))] Erin is green.[(triple5 OR ((triple7) -> rule1))] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] Harry is green.[(triple8 OR ((triple10) -> rule1))] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Dave is quiet.[(((triple3) -> rule6))] Erin is white.[(((triple4 triple5) -> rule7) OR ((triple4 ((triple7) -> rule1)) -> rule7) OR ((((triple6) -> rule4) triple5) -> rule7) OR ((((triple6) -> rule4) ((triple7) -> rule1)) -> rule7))] @2: Dave is green.[(((((triple3) -> rule6)) -> rule1))] @3: Dave is white.[(((triple1 ((((triple3) -> rule6)) -> rule1)) -> rule7))]