Dave is big. Dave is nice. Dave is smart. Dave is not white. Erin is green. Erin is kind. Erin is nice. Erin is round. Erin is not smart. Erin is white. Fiona is not big. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. If something is nice and green then it is round. If Dave is not nice then Dave is not smart. If Fiona is smart and Fiona is not green then Fiona is not round. All round things are white. If something is kind and not nice then it is big. If something is big and not white then it is kind.
Dave is not round.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Dave is not white.[(triple4)] Dave is smart.[(triple3)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is not smart.[(triple9)] Erin is round.[(triple8 OR ((triple7 triple5) -> rule1))] Erin is white.[(triple10 OR ((triple8) -> rule4) OR ((((triple7 triple5) -> rule1)) -> rule4))] Fiona is nice.[(triple12)] Fiona is not big.[(triple11)] Fiona is round.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((triple13) -> rule4))] @1: Dave is kind.[(((triple1 triple4) -> rule6))]