Bob is big. Bob is not rough. Bob is smart. Bob is white. Dave is not big. Dave is smart. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is not smart. Fiona is white. All kind people are rough. If someone is big and not kind then they are nice. All green people are nice. If someone is white then they are green. All nice, big people are green. If Dave is nice and Dave is green then Dave is white. All smart people are white. If Bob is green and Bob is rough then Bob is not nice.
Bob is nice.
@0: Bob is big.[(triple1)] Bob is not rough.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule7))] Dave is not big.[(triple5)] Dave is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8 OR ((triple12) -> rule4) OR ((triple10 triple7) -> rule5))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple8) -> rule3) OR ((((triple12) -> rule4)) -> rule3))] Fiona is not smart.[(triple11)] Fiona is white.[(triple12)] @1: Bob is green.[(((triple4) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] Dave is white.[(((triple6) -> rule7))] Fiona is rough.[(((triple9) -> rule1))] @2: Bob is nice.[(((((triple4) -> rule4)) -> rule3) OR ((((((triple3) -> rule7)) -> rule4)) -> rule3))] Dave is green.[(((((triple6) -> rule7)) -> rule4))] @3: Dave is nice.[(((((((triple6) -> rule7)) -> rule4)) -> rule3))]