Bob is big. Bob is not blue. Bob is furry. Bob is not kind. Bob is rough. Bob is white. Bob is young. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is white. Fiona is young. All rough, furry things are big. If something is kind and white then it is furry. If Bob is not big then Bob is blue.
Fiona is white.
@0: Bob is big.[(triple1 OR ((triple5 triple3) -> rule1))] Bob is furry.[(triple3)] Bob is not blue.[(triple2)] Bob is not kind.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8 OR ((triple12 triple10) -> rule1) OR ((triple12 ((triple11 triple13) -> rule2)) -> rule1))] Fiona is furry.[(triple10 OR ((triple11 triple13) -> rule2))] Fiona is kind.[(triple11)] Fiona is not blue.[(triple9)] Fiona is rough.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]