Bob is big. Bob is blue. Bob is quiet. Bob is rough. Bob is round. Bob is smart. Bob is young. If Bob is quiet and Bob is round then Bob is young. If something is smart and quiet then it is big. Round, smart things are young.
Bob is young.
@0: Bob is big.[(triple1 OR ((triple6 triple3) -> rule2))] Bob is blue.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple3 triple5) -> rule1) OR ((triple5 triple6) -> rule3))]