Bob is big. Bob is blue. Bob is quiet. Bob is red. Bob is round. Bob is young. Charlie is quiet. All rough people are young. Big people are rough.
Bob is red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple6 OR ((((triple1) -> rule2)) -> rule1))] Charlie is quiet.[(triple7)] @1: Bob is rough.[(((triple1) -> rule2))]