Bob is nice. Charlie is big. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is young. Erin is big. Erin is quiet. Erin is young. All blue people are big.
Bob is not big.
@0: Bob is nice.[(triple1)] Charlie is big.[(triple2 OR ((triple3) -> rule1))] Charlie is blue.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is young.[(triple7)] Erin is big.[(triple8)] Erin is quiet.[(triple9)] Erin is young.[(triple10)]