Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is young. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is young. If something is kind and quiet then it is round. All furry, rough things are blue. All young, quiet things are kind.
Dave is not kind.
@0: Dave is blue.[(triple1 OR ((triple2 triple5) -> rule2))] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple7 triple4) -> rule3))] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6 OR ((triple3 triple4) -> rule1) OR ((((triple7 triple4) -> rule3) triple4) -> rule1))] Dave is young.[(triple7)] Erin is blue.[(triple8 OR ((triple9 triple12) -> rule2))] Erin is furry.[(triple9)] Erin is kind.[(triple10 OR ((triple14 triple11) -> rule3))] Erin is quiet.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13 OR ((triple10 triple11) -> rule1) OR ((((triple14 triple11) -> rule3) triple11) -> rule1))] Erin is young.[(triple14)]