Charlie is red. Fiona is kind. All smart people are not rough. If someone is red then they are big. If someone is young then they are kind.
Charlie is not green.
@0: Charlie is red.[(triple1)] Fiona is kind.[(triple2)] @1: Charlie is big.[(((triple1) -> rule2))]