Dave is nice. Dave is round. Dave is young. Erin is blue. Erin is not round. Erin is smart. Erin is young. Gary is blue. Gary is round. Gary is not smart. Gary is not white. Gary is young. If something is young then it is big. All nice things are not blue.
Erin is white.
@0: Dave is nice.[(triple1)] Dave is round.[(triple2)] Dave is young.[(triple3)] Erin is blue.[(triple4)] Erin is not round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is blue.[(triple8)] Gary is not smart.[(triple10)] Gary is not white.[(triple11)] Gary is round.[(triple9)] Gary is young.[(triple12)] @1: Dave is big.[(((triple3) -> rule1))] Dave is not blue.[(((triple1) -> rule2))] Erin is big.[(((triple7) -> rule1))] Gary is big.[(((triple12) -> rule1))]