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