Bob is big. Bob is young. Dave is green. Dave is nice. Dave is smart. Dave is young. Erin is big. Erin is kind. Erin is nice. Erin is smart. Erin is young. Harry is big. Harry is green. Harry is nice. Harry is smart. Harry is young. If someone is big and young then they are nice.
Erin is green.
@0: Bob is big.[(triple1)] Bob is young.[(triple2)] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Erin is big.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9 OR ((triple7 triple11) -> rule1))] Erin is smart.[(triple10)] Erin is young.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13)] Harry is nice.[(triple14 OR ((triple12 triple16) -> rule1))] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Bob is nice.[(((triple1 triple2) -> rule1))]