Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is not nice. Bob is quiet. Bob is young. If something is quiet and not cold then it is furry. Blue things are furry. All furry, blue things are young.
Bob is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4 OR ((triple2) -> rule2))] Bob is not nice.[(triple5)] Bob is quiet.[(triple6)] Bob is young.[(triple7 OR ((triple4 triple2) -> rule3) OR ((((triple2) -> rule2) triple2) -> rule3))]