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