Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is smart. If Bob is nice then Bob is smart. Smart people are cold. If Bob is cold and Bob is smart then Bob is kind.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Bob is kind.[(triple3 OR ((triple2 triple7) -> rule3) OR ((triple2 ((triple4) -> rule1)) -> rule3) OR ((((triple7) -> rule2) triple7) -> rule3) OR ((((triple7) -> rule2) ((triple4) -> rule1)) -> rule3) OR ((((((triple4) -> rule1)) -> rule2) triple7) -> rule3) OR ((((((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule3))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7 OR ((triple4) -> rule1))]