Charlie is quiet. Charlie is rough. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. If someone is rough and quiet then they are nice. All nice people are big. If Charlie is big then Charlie is kind.
Charlie is not big.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Harry is big.[(triple3 OR ((triple6) -> rule2))] Harry is blue.[(triple4)] Harry is kind.[(triple5)] Harry is nice.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is nice.[(((triple2 triple1) -> rule1))] @2: Charlie is big.[(((((triple2 triple1) -> rule1)) -> rule2))] @3: Charlie is kind.[(((((((triple2 triple1) -> rule1)) -> rule2)) -> rule3))]