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