Anne is cold. Anne is nice. Anne is quiet. Bob is blue. Bob is kind. Bob is nice. Bob is red. Bob is young. Charlie is blue. Fiona is red. All blue things are red. If something is cold and quiet then it is kind. All blue things are kind. Red things are young. If Fiona is red then Fiona is blue. All cold things are blue.
Anne is quiet.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5 OR ((triple4) -> rule3))] Bob is nice.[(triple6)] Bob is red.[(triple7 OR ((triple4) -> rule1))] Bob is young.[(triple8 OR ((triple7) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] Charlie is blue.[(triple9)] Fiona is red.[(triple10)] @1: Anne is blue.[(((triple1) -> rule6))] Anne is kind.[(((triple1 triple3) -> rule2) OR ((((triple1) -> rule6)) -> rule3))] Charlie is kind.[(((triple9) -> rule3))] Charlie is red.[(((triple9) -> rule1))] Fiona is blue.[(((triple10) -> rule5))] Fiona is young.[(((triple10) -> rule4))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule1))] Charlie is young.[(((((triple9) -> rule1)) -> rule4))] Fiona is kind.[(((((triple10) -> rule5)) -> rule3))] @3: Anne is young.[(((((((triple1) -> rule6)) -> rule1)) -> rule4))]