Dave is quiet. Dave is round. Dave is white. Erin is blue. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is white. Erin is young. If someone is quiet then they are white. Kind, quiet people are white. Round, blue people are white. If someone is round and not smart then they are white. All smart people are kind. If someone is young and not round then they are kind. If someone is quiet then they are kind. If someone is young and not round then they are not quiet.
Dave is white.
@0: Dave is quiet.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3 OR ((triple1) -> rule1) OR ((((triple1) -> rule7) triple1) -> rule2))] Erin is blue.[(triple4)] Erin is kind.[(triple5 OR ((triple6) -> rule7) OR ((triple8) -> rule5))] Erin is quiet.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9 OR ((triple6) -> rule1) OR ((triple5 triple6) -> rule2) OR ((triple7 triple4) -> rule3) OR ((((triple6) -> rule7) triple6) -> rule2) OR ((((triple8) -> rule5) triple6) -> rule2))] Erin is young.[(triple10)] @1: Dave is kind.[(((triple1) -> rule7))]