Bob is nice. Gary is nice. Smart, white people are kind. If someone is kind then they are smart. If Bob is kind then Bob is red. If someone is kind then they are red. All blue people are red. All white people are smart. If someone is nice then they are kind. Smart, nice people are blue.
Gary is red.
@0: Bob is nice.[(triple1)] Gary is nice.[(triple2)] @1: Bob is kind.[(((triple1) -> rule7))] Gary is kind.[(((triple2) -> rule7))] @2: Bob is red.[(((((triple1) -> rule7)) -> rule3) OR ((((triple1) -> rule7)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule2) triple1) -> rule8)) -> rule5))] Bob is smart.[(((((triple1) -> rule7)) -> rule2))] Gary is red.[(((((triple2) -> rule7)) -> rule4) OR ((((((((triple2) -> rule7)) -> rule2) triple2) -> rule8)) -> rule5))] Gary is smart.[(((((triple2) -> rule7)) -> rule2))] @3: Bob is blue.[(((((((triple1) -> rule7)) -> rule2) triple1) -> rule8))] Gary is blue.[(((((((triple2) -> rule7)) -> rule2) triple2) -> rule8))]