Anne is big. Bob is kind. Charlie is kind. Fiona is blue. If something is red and cold then it is kind. Red, kind things are big. Red, rough things are big. If something is blue then it is cold. If Charlie is big then Charlie is kind. Red, big things are green. All red things are blue. All cold things are kind.
Anne is big.
@0: Anne is big.[(triple1)] Bob is kind.[(triple2)] Charlie is kind.[(triple3)] Fiona is blue.[(triple4)] @1: Fiona is cold.[(((triple4) -> rule4))] @2: Fiona is kind.[(((((triple4) -> rule4)) -> rule8))]