Bob is nice. Bob is not red. Bob is rough. Erin is big. Erin is furry. Fiona is not big. Fiona is not nice. Fiona is not red. Fiona is young. Harry is not big. Harry is furry. Harry is nice. Harry is red. Harry is not rough. Harry is white. Harry is young. All furry people are not rough.
Harry is young.
@0: Bob is nice.[(triple1)] Bob is not red.[(triple2)] Bob is rough.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Fiona is not big.[(triple6)] Fiona is not nice.[(triple7)] Fiona is not red.[(triple8)] Fiona is young.[(triple9)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is not big.[(triple10)] Harry is not rough.[(triple14 OR ((triple11) -> rule1))] Harry is red.[(triple13)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Erin is not rough.[(((triple5) -> rule1))]