Anne is not kind. Anne is smart. Bob is not big. Bob is furry. Bob is green. Erin is green. Erin is rough. Erin is smart. Fiona is not furry. Fiona is not kind. Fiona is smart. Fiona is young. Big people are young. If someone is big then they are not young. If someone is furry then they are kind. If Bob is kind then Bob is rough. All big people are not smart. If someone is kind and not young then they are smart. If someone is smart and not young then they are rough. Furry people are rough.
Anne is big.
@0: Anne is not kind.[(triple1)] Anne is smart.[(triple2)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is not big.[(triple3)] Erin is green.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Fiona is not furry.[(triple9)] Fiona is not kind.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Bob is kind.[(((triple4) -> rule3))] Bob is rough.[(((triple4) -> rule8) OR ((((triple4) -> rule3)) -> rule4))]