Bob is young. Erin is green. Fiona is not big. If Erin is cold then Erin is kind. If something is kind and blue then it is green. All kind, green things are blue. Cold, big things are kind. If something is cold then it is not red. If something is young then it is red.
Fiona is not red.
@0: Bob is young.[(triple1)] Erin is green.[(triple2)] Fiona is not big.[(triple3)] @1: Bob is red.[(((triple1) -> rule6))]