Bob is furry. Bob is green. Bob is nice. Bob is white. Dave is green. Erin is green. Harry is big. Harry is cold. Harry is furry. Harry is nice. If something is nice then it is big.
Harry is nice.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is white.[(triple4)] Dave is green.[(triple5)] Erin is green.[(triple6)] Harry is big.[(triple7 OR ((triple10) -> rule1))] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is nice.[(triple10)] @1: Bob is big.[(((triple3) -> rule1))]