Charlie is big. Charlie is blue. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. If Charlie is furry then Charlie is rough. If something is blue and red then it is furry. If Charlie is blue then Charlie is quiet.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple2 triple5) -> rule2))] Charlie is quiet.[(triple4 OR ((triple2) -> rule3))] Charlie is red.[(triple5)] Charlie is rough.[(triple6 OR ((triple3) -> rule1) OR ((((triple2 triple5) -> rule2)) -> rule1))] Charlie is young.[(triple7)]