Bob is big. Bob is furry. Bob is nice. Bob is red. Bob is smart. Bob is white. Bob is young. Dave is big. Dave is furry. Dave is smart. Dave is white. Fiona is big. Fiona is furry. Fiona is nice. Fiona is white. Fiona is young. Furry things are white. If something is red and furry then it is big.
Bob is not furry.
@0: Bob is big.[(triple1 OR ((triple4 triple2) -> rule2))] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple2) -> rule1))] Bob is young.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11 OR ((triple9) -> rule1))] Fiona is big.[(triple12)] Fiona is furry.[(triple13)] Fiona is nice.[(triple14)] Fiona is white.[(triple15 OR ((triple13) -> rule1))] Fiona is young.[(triple16)]