Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is round. Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is round. Harry is big. Harry is blue. Harry is furry. Harry is quiet. Harry is rough. Harry is young. If something is round then it is big. If something is furry then it is rough.
Charlie is blue.
@0: Bob is big.[(triple1 OR ((triple5) -> rule1))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Charlie is blue.[(triple6)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14 OR ((triple12) -> rule2))] Harry is young.[(triple15)] @1: Bob is rough.[(((triple3) -> rule2))] Charlie is big.[(((triple9) -> rule1))]