Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Fiona is furry. Fiona is nice. Fiona is young. If Fiona is big then Fiona is kind. If someone is quiet and big then they are young. All furry, nice people are young.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7)] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is young.[(triple12 OR ((triple10 triple11) -> rule3))] @1: Anne is young.[(((triple2 triple3) -> rule3) OR ((triple4 triple1) -> rule2))]