Bob is big. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is round. All green things are big. All kind things are rough. If Bob is round then Bob is kind. All big, kind things are round. Quiet things are red. All green things are red.
Bob is not quiet.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple7) -> rule3))] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple2) -> rule6) OR ((triple4) -> rule5))] Bob is rough.[(triple6 OR ((triple3) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] Bob is round.[(triple7 OR ((triple1 triple3) -> rule4) OR ((((triple2) -> rule1) triple3) -> rule4))]