Anne is furry. Anne is rough. Anne is white. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. If someone is green and furry then they are blue. If someone is kind and furry then they are blue. If Anne is green then Anne is kind. Kind people are white. Quiet people are white. All rough, green people are blue.
Anne is green.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple8 triple5) -> rule6))] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is white.[(triple9 OR ((triple6) -> rule4) OR ((triple7) -> rule5))] Fiona is blue.[(triple10 OR ((triple12 triple11) -> rule1) OR ((triple13 triple11) -> rule2) OR ((triple15 triple12) -> rule6))] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16 OR ((triple13) -> rule4) OR ((triple14) -> rule5))]