Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. If Charlie is kind and Charlie is quiet then Charlie is blue.
Charlie is furry.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple4 triple6) -> rule1))] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)]