Anne is big. Anne is not kind. Anne is rough. Dave is nice. Fiona is kind. Fiona is not quiet. Fiona is not smart. Harry is not kind. Harry is rough. Harry is not smart. If Anne is quiet then Anne is not kind. Quiet things are rough. Nice, quiet things are rough. Nice things are kind. All big things are green. All kind things are green. If something is green then it is big. If something is kind and not rough then it is not big.
Harry is big.
@0: Anne is big.[(triple1)] Anne is not kind.[(triple2)] Anne is rough.[(triple3)] Dave is nice.[(triple4)] Fiona is kind.[(triple5)] Fiona is not quiet.[(triple6)] Fiona is not smart.[(triple7)] Harry is not kind.[(triple8)] Harry is not smart.[(triple10)] Harry is rough.[(triple9)] @1: Anne is green.[(((triple1) -> rule5))] Dave is kind.[(((triple4) -> rule4))] Fiona is green.[(((triple5) -> rule6))] @2: Dave is green.[(((((triple4) -> rule4)) -> rule6))] Fiona is big.[(((((triple5) -> rule6)) -> rule7))] @3: Dave is big.[(((((((triple4) -> rule4)) -> rule6)) -> rule7))]