Bob is nice. Bob is not quiet. Dave is green. Dave is nice. Dave is round. Dave is not smart. Dave is not white. Dave is young. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Fiona is nice. Fiona is not round. Fiona is smart. Fiona is white. Round, smart things are white. If Bob is white then Bob is smart. Nice things are young.
Bob is green.
@0: Bob is nice.[(triple1)] Bob is not quiet.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is not smart.[(triple6)] Dave is not white.[(triple7)] Dave is round.[(triple5)] Dave is young.[(triple8 OR ((triple4) -> rule3))] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12)] Fiona is nice.[(triple13)] Fiona is not round.[(triple14)] Fiona is smart.[(triple15)] Fiona is white.[(triple16)] @1: Bob is young.[(((triple1) -> rule3))] Erin is white.[(((triple11 triple12) -> rule1))] Erin is young.[(((triple9) -> rule3))] Fiona is young.[(((triple13) -> rule3))]