Bob is kind. Charlie is big. Charlie is blue. Charlie is nice. Fiona is big. Gary is furry. Gary is kind. If Charlie is big and Charlie is nice then Charlie is kind.
Bob is not big.
@0: Bob is kind.[(triple1)] Charlie is big.[(triple2)] Charlie is blue.[(triple3)] Charlie is nice.[(triple4)] Fiona is big.[(triple5)] Gary is furry.[(triple6)] Gary is kind.[(triple7)] @1: Charlie is kind.[(((triple2 triple4) -> rule1))]