Bob is smart. Charlie is red. Fiona is young. Gary is not kind. If something is young then it is smart. If something is kind and blue then it is smart. Red, blue things are smart. If Charlie is blue then Charlie is big. If something is big and not blue then it is green. If Gary is blue and Gary is red then Gary is big.
Charlie is smart.
@0: Bob is smart.[(triple1)] Charlie is red.[(triple2)] Fiona is young.[(triple3)] Gary is not kind.[(triple4)] @1: Fiona is smart.[(((triple3) -> rule1))]