Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Bob is young. Erin is kind. Erin is nice. Erin is quiet. Erin is not white. Erin is young. Fiona is not green. Fiona is nice. Fiona is white. All kind, green things are white. All smart things are nice.
Bob is not green.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple5) -> rule2))] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple2 triple1) -> rule1))] Bob is young.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is not white.[(triple11)] Erin is quiet.[(triple10)] Erin is young.[(triple12)] Fiona is nice.[(triple14)] Fiona is not green.[(triple13)] Fiona is white.[(triple15)]