Dave is big. Dave is cold. Dave is red. Dave is round. Dave is smart. Dave is white. Erin is big. Erin is red. Erin is round. Erin is smart. Erin is not white. Erin is not young. If something is big and not white then it is red. If Erin is white then Erin is red. If Dave is smart then Dave is red. Big, cold things are young. If something is round and not red then it is cold. If something is cold and not red then it is round. If Dave is not cold then Dave is young. If Dave is white and Dave is not round then Dave is young.
Erin is not smart.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3 OR ((triple5) -> rule3))] Dave is round.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Erin is big.[(triple7)] Erin is not white.[(triple11)] Erin is not young.[(triple12)] Erin is red.[(triple8 OR ((triple7 triple11) -> rule1))] Erin is round.[(triple9)] Erin is smart.[(triple10)] @1: Dave is young.[(((triple1 triple2) -> rule4))]