Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Bob is young. If Bob is big then Bob is cold. If someone is big and cold then they are furry. If someone is furry then they are quiet.
Bob is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule1))] Bob is furry.[(triple3 OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule2))] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple3) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule3) OR ((((triple1 ((triple1) -> rule1)) -> rule2)) -> rule3))] Bob is smart.[(triple6)] Bob is young.[(triple7)]