Bob is big. Bob is furry. Bob is not green. Bob is nice. Bob is rough. Dave is green. Dave is rough. Fiona is not white. Fiona is young. Harry is big. Harry is furry. Harry is green. Harry is nice. Harry is white. Harry is not young. If someone is young then they are furry. All young people are nice.
Dave is rough.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple4)] Bob is not green.[(triple3)] Bob is rough.[(triple5)] Dave is green.[(triple6)] Dave is rough.[(triple7)] Fiona is not white.[(triple8)] Fiona is young.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is not young.[(triple15)] Harry is white.[(triple14)] @1: Fiona is furry.[(((triple9) -> rule1))] Fiona is nice.[(((triple9) -> rule2))]