Anne is big. Anne is not blue. Bob is big. Bob is kind. Dave is cold. Dave is kind. Dave is young. Fiona is blue. Fiona is quiet. Fiona is not young. All rough things are big. If something is big then it is kind. If something is quiet then it is rough.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Bob is big.[(triple3)] Bob is kind.[(triple4 OR ((triple3) -> rule2))] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is not young.[(triple10)] Fiona is quiet.[(triple9)] @1: Anne is kind.[(((triple1) -> rule2))] Fiona is rough.[(((triple9) -> rule3))] @2: Fiona is big.[(((((triple9) -> rule3)) -> rule1))] @3: Fiona is kind.[(((((((triple9) -> rule3)) -> rule1)) -> rule2))]