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