Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is not smart. Anne is not young. Bob is not nice. Bob is young. Fiona is not furry. Gary is furry. Gary is not rough. Furry things are kind. If something is young and rough then it is not kind. If something is kind and not rough then it is smart. If something is smart and kind then it is furry. If Anne is smart then Anne is furry. Big things are not young.
Gary is not kind.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule1))] Anne is nice.[(triple4)] Anne is not smart.[(triple6)] Anne is not young.[(triple7 OR ((triple1) -> rule6))] Anne is rough.[(triple5)] Bob is not nice.[(triple8)] Bob is young.[(triple9)] Fiona is not furry.[(triple10)] Gary is furry.[(triple11)] Gary is not rough.[(triple12)] @1: Gary is kind.[(((triple11) -> rule1))] @2: Gary is smart.[(((((triple11) -> rule1) triple12) -> rule3))]