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