Anne is kind. Anne is young. Bob is not big. Bob is furry. Bob is green. Bob is not kind. Bob is not rough. Erin is blue. Erin is furry. Fiona is young. If Fiona is young then Fiona is furry.
Fiona is not rough.
@0: Anne is kind.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is not big.[(triple3)] Bob is not kind.[(triple6)] Bob is not rough.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is furry.[(((triple10) -> rule1))]