Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is round. Bob is young. If Bob is kind then Bob is young. All cold people are round. All big people are kind.
Bob is red.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4 OR ((triple1) -> rule3))] Bob is red.[(triple5)] Bob is round.[(triple6 OR ((triple2) -> rule2))] Bob is young.[(triple7 OR ((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule1))]