Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is young. Dave is big. Dave is green. Dave is nice. Dave is round. Erin is big. Erin is nice. Fiona is red. All green, furry things are big. Young things are nice. All furry things are round.
Fiona is red.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2 OR ((triple5) -> rule2))] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule3))] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8)] Dave is round.[(triple9)] Erin is big.[(triple10)] Erin is nice.[(triple11)] Fiona is red.[(triple12)]