Bob is nice. Bob is red. Bob is white. Erin is nice. Erin is smart. Erin is white. Harry is big. Harry is cold. Harry is nice. Harry is red. If something is nice then it is red. Cold, white things are smart. If something is big and smart then it is white.
Harry is red.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2 OR ((triple1) -> rule1))] Bob is white.[(triple3)] Erin is nice.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple9) -> rule1))] @1: Erin is red.[(((triple4) -> rule1))]