Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Dave is young. Erin is nice. Erin is quiet. Erin is red. Erin is white. Erin is young. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. If someone is green and round then they are nice. If someone is green and nice then they are young.
Fiona is quiet.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2 OR ((triple1 triple5) -> rule1))] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple1 triple5) -> rule1)) -> rule2))] Erin is nice.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] Fiona is green.[(triple13)] Fiona is nice.[(triple14 OR ((triple13 triple16) -> rule1))] Fiona is red.[(triple15)] Fiona is round.[(triple16)] @1: Fiona is young.[(((triple13 triple14) -> rule2) OR ((triple13 ((triple13 triple16) -> rule1)) -> rule2))]