Bob is kind. Dave is green. Dave is smart. Dave is white. Erin is big. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is white. Fiona is big. Fiona is not kind. Fiona is smart. Fiona is white. If someone is nice then they are green. If Bob is not nice and Bob is not red then Bob is smart. If someone is white and not green then they are big.
Dave is not big.
@0: Bob is kind.[(triple1)] Dave is green.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6 OR ((triple8) -> rule1))] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] Erin is white.[(triple11)] Fiona is big.[(triple12)] Fiona is not kind.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)]