Bob is cold. Bob is furry. Bob is kind. Bob is not nice. Bob is quiet. Bob is round. Bob is young. If something is nice and not round then it is cold. If something is round then it is young. If something is nice then it is furry. If something is young then it is furry. Kind things are furry. If something is furry and not quiet then it is kind. If something is furry and not young then it is kind. All young things are kind.
Bob is round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3) -> rule5) OR ((triple7) -> rule4) OR ((((triple6) -> rule2)) -> rule4) OR ((((triple7) -> rule8)) -> rule5) OR ((((((triple6) -> rule2)) -> rule8)) -> rule5))] Bob is kind.[(triple3 OR ((triple7) -> rule8) OR ((((triple6) -> rule2)) -> rule8))] Bob is not nice.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple6) -> rule2))]