Anne is furry. Anne is not red. Anne is rough. Bob is kind. Bob is red. Bob is rough. Fiona is not big. Fiona is not rough. Gary is big. Gary is furry. If someone is young and not quiet then they are rough. If someone is furry and young then they are rough. If someone is kind then they are big. If Fiona is not kind then Fiona is big. If Gary is red then Gary is big. If someone is young then they are not furry.
Anne is not red.
@0: Anne is furry.[(triple1)] Anne is not red.[(triple2)] Anne is rough.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5)] Bob is rough.[(triple6)] Fiona is not big.[(triple7)] Fiona is not rough.[(triple8)] Gary is big.[(triple9)] Gary is furry.[(triple10)] @1: Bob is big.[(((triple4) -> rule3))]